An Exercise in Concurrency: a CSP Process as a Condition/ event System. - Pierpaolo Degano; Roberto Gorrieri; Sergio Marchetti (European Workshop on Applications and Theory of Petri Nets, 1987)

Partial ordering models for concurrency can be defined operationally. - Pierpaolo Degano; Sergio Marchetti (Int. J. Parallel Program., 1987)

A²CCS: A Simple Extension of CCS for Handling Atomic Actions. - Roberto Gorrieri; Sergio Marchetti; Ugo Montanari (CAAP, 1988)

A2CCKS: Atomic Actions for CCS. - Roberto Gorrieri; Sergio Marchetti; Ugo Montanari (Theor. Comput. Sci., 1990)