A process algebra for interworkings
|Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (msc 68Q85)|
|Organisation||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).