( en | de | ru )

 

Disambiguation of "Lynch, Nancy A."

Author of the publication

copydeleteadd this publication to your clipboard
Lack of Quorum Sensing Leads to Failure of Consensus in Temnothorax Ant Emigration.

, , and . SSS, volume 13046 of Lecture Notes in Computer Science, page 209-228. Springer, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Enrique A J Lynch Frigeiro

Philip Lynch

John Lynch

Matthew Lynch

Grit Lynch

 

Other publications of authors with the same name

Lack of Quorum Sensing Leads to Failure of Consensus in Temnothorax Ant Emigration., , and . SSS, volume 13046 of Lecture Notes in Computer Science, page 209-228. Springer, (2021)Strings of Vehicles: Modeling and Safety Conditions., and . HSCC, volume 1386 of Lecture Notes in Computer Science, page 273-288. Springer, (1998)Automated Implementation of Complex Distributed Algorithms Specified in the IOA Language., , , and . PDCS, page 128-134. ISCA, (2005)Proving performance propterties (even probabilistic ones).. FORTE, volume 6 of IFIP Conference Proceedings, page 3-20. Chapman & Hall, (1994)Computer-Assisted Verification of an Algorithm for Concurrent Timestamps., , , , and . FORTE, volume 69 of IFIP Conference Proceedings, page 29-44. Chapman & Hall, (1996)Using Simulated Execution in Verifying Distributed Algorithms, , , , and . Software Tools for Technology Transfer, (2003)An introduction to input/output automata, and . CWI Quarterly, (1989)Information-Theoretic Lower Bounds on the Storage Cost of Shared Memory Emulation., , and . PODC, page 305-313. ACM, (2016)Complexity-Class-Encoding Sets.. J. Comput. Syst. Sci., 13 (1): 100-118 (1976)A Comparison of Polynomial Time Reducibilities., , and . Theor. Comput. Sci., 1 (2): 103-123 (1975)