( en | de | ru )

 

Disambiguation of "Strom, Robert E."

Author of the publication

copydeleteadd this publication to your clipboard
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.

Jonathan Strom

Alexander Strom

Marie Ström

Christoph Strom

Fritz Strom

 

Other publications of authors with the same name

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