A Protocol for Multirendezvous of LOTOS Processes

@article{Sisto1991APF,
  title={A Protocol for Multirendezvous of LOTOS Processes},
  author={Riccardo Sisto and Luigi Ciminiera and Adriano Valenzano},
  journal={IEEE Trans. Computers},
  year={1991},
  volume={40},
  pages={437-447}
}

Citations

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…