Autor der Publikation

Specification and Verification of the ATMR Protocol Using Unity. Part 1: Modeling and Specification of the Protocol.

, und . Parallel Process. Lett., 8 (4): 421-432 (1998)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

The use of Modula-2 for implementing a distributed kernel., , , und . Softw. Eng. J., 4 (2): 115-122 (1989)Tailoring UNITY to Distributed Program Design., , , , und . IPPS/SPDP Workshops, Volume 1388 von Lecture Notes in Computer Science, Seite 820-832. Springer, (1998)The Reconstruction of a Mobile Agent Computation and Its Validation., , , und . IPDPS, Seite 236. IEEE Computer Society, (2003)Maximal Group Membership in Ad Hoc Networks., , , , und . PPAM, Volume 3911 von Lecture Notes in Computer Science, Seite 51-58. Springer, (2005)Distributed Systems and Algorithms - Introduction., und . Euro-Par, Volume 1685 von Lecture Notes in Computer Science, Seite 767-768. Springer, (1999)Real Time Behavior of Data in Distributed Embedded Systems., , , und . Scalable Comput. Pract. Exp., (2009)Safe Adaptation of Component Coordination., , und . WCAT@ECOOP, Volume 189 von Electronic Notes in Theoretical Computer Science, Seite 69-85. Elsevier, (2006)Flight plan management in a distributed air traffic control system., und . ISADS, Seite 323-329. IEEE Computer Society, (1993)A Coordination-Level Middleware for Supporting Flexible Consistency in CSCW., , , , und . PDP, Seite 316-321. IEEE Computer Society, (2006)Reusability in the Occam Language., und . Struct. Program., 13 (2): 65-74 (1992)