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