( en | de | ru )

 

Disambiguierung von "Lynch, Nancy A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Using Simulated Execution in Verifying Distributed Algorithms

, , , , und . Software Tools for Technology Transfer, (2003)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Enrique A J Lynch Frigeiro

Philip Lynch

John Lynch

Matthew Lynch

Grit Lynch

 

Weitere Publikationen von Autoren mit dem selben Namen

Upper Bounds for Static Resource Allocation in a Distributed System.. J. Comput. Syst. Sci., 23 (2): 254-278 (1981)Straight-Line Program Length as a Parameter for Complexity Analysis.. J. Comput. Syst. Sci., 21 (3): 251-280 (1980)Specifying and using a partitionable group communication service., , und . ACM Trans. Comput. Syst., 19 (2): 171-216 (2001)Cryptographic Protocols, , und . STOC, Seite 383-400. ACM, (1982)A (Truly) Local Broadcast Layer for Unreliable Radio Networks., und . PODC, Seite 109-118. ACM, (2015)Implementing atomic objects in a dynamic environment.. PODC, Seite 16. ACM, (2001)On the Borowsky-Gafni Simulation Algorithm., und . ISTCS, Seite 4-15. IEEE Computer Society, (1996)Verifying timing properties of concurrent algorithms., , , und . FORTE, Volume 6 von IFIP Conference Proceedings, Seite 259-273. Chapman & Hall, (1994)Distributed FIFO Allocation of Identical Resources Using Small Shared Space., , , und . ACM Trans. Program. Lang. Syst., 11 (1): 90-114 (1989)Concurrency Control for Resilient Nested Transactions.. PODS, Seite 166-181. ACM, (1983)