Nissim Francez, Michael Rodeh
IEEE Transactions on Software Engineering
We present two extensions of the naming conventions of Communicating Sequential Proceses [11]: computed communication targets and unspecified communication targets, as well as corresponding extensions to the system of cooperating proofs [3] for verifying distributed programs. These language extensions are important for the natural expressibility of many distributed programs. Examples of the use of these extensions are discussed and verified. © 1983.
Nissim Francez, Michael Rodeh
IEEE Transactions on Software Engineering
Nissim Francez, Shaula A. Yemini
ACM Transactions on Programming Languages and Systems (TOPLAS)
Martín Abadi, Bowen Alpern, et al.
Information Processing Letters
Nissim Francez, Brent Hailpern, et al.
Science of Computer Programming