"Modelling and Analysis of Distributed Software Systems."

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