Nissim Francez, Ira R. Forman. Interacting processes: a language for coordinated distributed programming. In Joshua Maor, Abraham Peled, editors, Next Decade in Information Technology: Proceedings of the 5th Jerusalem Conference on Information Technology 1990, Jerusalem, October 22-25, 1990. pages 146-161, IEEE, 1990. [doi]
Abstract is missing.