Author of the publication

Interfaces, Protocols, and the Semi-Automatic Construction of Software Adaptors.

, and . OOPSLA, page 176-190. ACM, (1994)OOPSLA'94, Addendum to the Proceedings: OOPS Messenger 5(4) October 1994.

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)Concurrency Control and View Notification Algorithms for Collaborative Replicated Objects., , , , and . IEEE Trans. Computers, 47 (4): 458-471 (1998)Gryphon: An Information Flow Based Approach to Message Brokering, , , , , , , and . CoRR, (1998)Design, Implementation, and Validation of Secure Communications Systems., and . Protocol Specification, Testing, and Verification, page 317-332. North-Holland, (1983)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 . ICDCS, page 194-203. IEEE Computer Society, (1997)NIL: An integrated language and system for distributed programming., and . SIGPLAN, page 73-82. ACM, (1983)High-level language support for programming distributed systems., , , , , , , , , and 2 other author(s). ICCL, page 320-330. IEEE Computer Society, (1992)