In: ACM Transactions on Programming Languages and Systems, Vol. 10, No. 3, pages 374-402. 1988.
Abstract: In this paper the authors present a basis for broadly applicable analysis methods for distributed software systems. It is shown how constrained expression representations are obtained from descriptions of systems in three different notations: SDYMOL, CSP, and Petri nets. Features of these three notations span most of the significant alternatives for describing distributed software systems.