A Process Algebra for Interworkings

Sjouke Mauw, Michel A. Reniers. A Process Algebra for Interworkings. In Jan A. Bergstra, Alban Ponse, Scott A. Smolka, editors, Handbook of Process Algebra. pages 1269-1327, North-Holland / Elsevier, 2001. [doi]

Authors

Sjouke Mauw

This author has not been identified. It may be one of the following persons: Look up 'Sjouke Mauw' in Google

Michel A. Reniers

This author has not been identified. Look up 'Michel A. Reniers' in Google