"A Typed Calculus of Synchronous Processes"

Simon J. Gay, Rajagopal Nagarajan (1995)
a service of Schloss Dagstuhl - Leibniz Center for Informatics