"Synchronization of Communicating Processes (Abstract)."

A. Nico Habermann (1971)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics