"Modelling and Analysis of Distributed Software Systems."

B. Kumar, Timothy A. Gonsalves (1979)
a service of Schloss Dagstuhl - Leibniz Center for Informatics