"Towards the Unification of Models for Concurrency."

Gian Luigi Ferrari, Ugo Montanari (1990)
a service of Schloss Dagstuhl - Leibniz Center for Informatics