Optimistic parallelization of communicating sequential processes
- David F. Bacon
- Robert E. Strom
- 1991
- PPoPP 1991
Conference paper
Publications
36 results for Rob Strom
Restoring consistent global states of distributed computations
- Arthur P. Goldberg
- Ajei Gopal
- et al.
- 1991
- ACM SIGPLAN Notices
PaperINC: A Language for Incremental Computations
- Daniel M. Yellin
- Robert E. Strom
- 1991
- ACM Transactions on Programming Languages and Systems (TOPLAS)
PaperHermes: An integrated language and system for distributed programming
- Rob Strom
- 1990
- IEEE Workshop on Experimental Distributed Systems 1990
Conference paperProcess semantics: Global axioms, compositional rules, and applications
- Vicious Van Nguyen
- Rob Strom
- 1988
- PODC 1988
Conference paperINC: A language for incremental computations
- Daniel Yellin
- Robert Strom
- 1988
- PLDI 1988
Conference paperA comparison of the object-oriented and process paradigms
- Rob Strom
- 1986
- ACM SIGPLAN Notices
PaperA comparison of the object-oriented and process paradigma
- Rob Strom
- 1986
- OOPWORK 1986
Conference paperTypestate: A Programming Language Concept for Enhancing Software Reliability
- Robert E. Strom
- Shaula Yemini
- 1986
- IEEE Transactions on Software Engineering
PaperSYNTHESIZING DISTRIBUTED AND PARALLEL PROGRAMS THROUGH OPTIMISTIC TRANSFORMATIONS.
- Rob Strom
- Shaula Yemini
- 1984
- ICPP 1984
Conference paper