Michel Sintzoff
-
Synthesis of communicating processes
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing