Author of the publication

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.

 

Other publications of authors with the same name

Process Semantics: Universal Axioms Compositional Rules, and Applications., and . PODC, page 232-247. ACM, (1988)The Optimistic Readers Transformation., and . ECOOP, volume 2072 of Lecture Notes in Computer Science, page 275-301. Springer, (2001)Design, Implementation, and Validation of Secure Communications Systems., and . Protocol Specification, Testing, and Verification, page 317-332. North-Holland, (1983)Gryphon: An Information Flow Based Approach to Message Brokering, , , , , , , and . CoRR, (1998)Synthesizing Distributed Protocols from Serial Programs., and . PSTV, page 443-456. North-Holland, (1984)Concurrency Control and View Notification Algorithms for Collaborative Replicated Objects., , , , and . IEEE Trans. Computers, 47 (4): 458-471 (1998)Concurrency Control and View Notification Algorithms for Collaborative Replicated Objects., , , , and . ICDCS, page 194-203. IEEE Computer Society, (1997)Restoring Global States of Distributed Computations., , , and . Workshop on Parallel and Distributed Debugging, page 144-154. ACM, (1991)Relational subscription middleware for Internet-scale publish-subscribe., and . DEBS, ACM, (2003)NIL: An integrated language and system for distributed programming., and . SIGPLAN, page 73-82. ACM, (1983)