Additional Metadata
MSC Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (msc 68Q85)
Publisher North-Holland (Amsterdam)
Citation
Mauw, S, & Reniers, M.A. (2001). A process algebra for interworkings. In Handbook of Process Algebra (pp. 1269–1327). North-Holland (Amsterdam).