Modular Specification of Process Algebras

Rob J. van Glabbeek, Frits W. Vaandrager. Modular Specification of Process Algebras. Theoretical Computer Science, 113(2):293-348, 1993.

Abstract

Abstract is missing.