"Synchronization of Communicating Processes (Abstract)."

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