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

Synthesizing Distributed Protocols from Serial Programs., and . PSTV, page 443-456. North-Holland, (1984)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)Restoring Global States of Distributed Computations., , , and . Workshop on Parallel and Distributed Debugging, page 144-154. ACM, (1991)Concurrency Control and View Notification Algorithms for Collaborative Replicated Objects., , , , and . IEEE Trans. Computers, 47 (4): 458-471 (1998)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)Concurrency Control and View Notification Algorithms for Collaborative Replicated Objects., , , , and . ICDCS, page 194-203. IEEE Computer Society, (1997)NIL: An integrated language and system for distributed programming., and . SIGPLAN, page 73-82. ACM, (1983)Information flow based event distribution middleware, , , , , and . ICDCS Workshop on Electronic Commerce and Web-based Applications, page 114--121. (June 1999)