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]

Bibliographies