Script: A communication abstraction mechanism and its verification
- Nissim Francez
- Brent Hailpern
- et al.
- 1986
- Science of Computer Programming
Publications
Date
Featured collections
Popular topics
13 results at Science of Computer Programming
Extended naming conventions for communicating processes
- Nissim Francez
- 1983
- Science of Computer Programming
Decomposition of distributed programs into communication-closed layers
- Tzilla Elrad
- Nissim Francez
- 1982
- Science of Computer Programming