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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.