Extended naming conventions for communicating processes
- Nissim Francez
- 1983
- Science of Computer Programming
Paper
Publications
14 results for Nissim Francez
Achieving Distributed Termination without Freezing
- Nissim Francez
- Michael Rodeh
- 1982
- IEEE Transactions on Software Engineering
PaperFair derivations in context-free grammars
- Sara Porat
- Nissim Francez
- et al.
- 1982
- Information and Control
PaperDecomposition of distributed programs into communication-closed layers
- Tzilla Elrad
- Nissim Francez
- 1982
- Science of Computer Programming
Paper