Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (msc 68Q85)
North-Holland (Amsterdam)
Specification and Analysis of Embedded Systems

Mauw, S, & Reniers, M.A. (2001). A process algebra for interworkings. In Handbook of Process Algebra (pp. 1269–1327). North-Holland (Amsterdam).