Author of the publication

Typestate: A Programming Language Concept for Enhancing Software Reliability.

, and . IEEE Trans. Software Eng., 12 (1): 157-171 (1986)

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

NIL: A High-Level Language for Distributed Systems Programming., and . IBM Syst. J., 38 (2/3): 181-197 (1999)INC: A Language for Incremental Computations., and . ACM Trans. Program. Lang. Syst., 13 (2): 211-236 (1991)Relational subscription middleware for Internet-scale publish-subscribe., and . DEBS, ACM, (2003)Hermes - a language for distributed computing., , , , , and . Prentice Hall series in innovative technology Prentice Hall, (1991)Information flow based event distribution middleware, , , , , and . ICDCS Workshop on Electronic Commerce and Web-based Applications, page 114--121. (June 1999)NIL: An integrated language and system for distributed programming., and . ACM SIGPLAN Notices, 18 (6): 73-82 (1983)High-level language support for programming distributed systems., , , , , , , , , and 2 other author(s). ICCL, page 320-330. IEEE Computer Society, (1992)Exploiting IP Multicast in Content-Based Publish-Subscribe Systems., , , , , and . Middleware, volume 1795 of Lecture Notes in Computer Science, page 185-207. Springer, (2000)Exactly-once Delivery in a Content-based Publish-Subscribe System., , , , and . DSN, page 7-16. IEEE Computer Society, (2002)An Autonomic Messaging Middleware with Stateful Stream Transformation., and . ICAC, page 316-318. IEEE Computer Society, (2004)