A Protocol for Multirendezvous of LOTOS Processes

  title={A Protocol for Multirendezvous of LOTOS Processes},
  author={Riccardo Sisto and Luigi Ciminiera and Adriano Valenzano},
  journal={IEEE Trans. Computers},


Publications citing this paper.
Showing 1-10 of 11 extracted citations

Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes

2015 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing • 2015
View 2 Excerpts

Formal Techniques for Distributed Systems

Lecture Notes in Computer Science • 2013

Formal Specification

Springer London • 1999
View 1 Excerpt

Similar Papers

Loading similar papers…