A Transformation System for Concurrent Processes

Nicoletta De Francesco, Antonella Santone. A Transformation System for Concurrent Processes. Acta Informatica, 35(12):1037-1073, 1998. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: