1. Graph Processes;Corradini;Special Issue of Fundamenta Informaticae,1996
2. P. Degano, J. Meseguer, and U. Montanari. Axiomatizing Net Computations and Processes. In Proc. of LICS'89, pages 175–185, 1989.
3. H. Ehrig. Behaviour and Instantiation of High-Level Net Processes. Full Technical Version. Technical Report 2003-01, Technical University of Berlin, 2003. To appear.
4. H. Ehrig, M. Große-Rhode, and A. Heise. Specification techniques for concurrent and distributed systems. Technical Report 925/5, Technical University of Berlin, jan. 1992. Invited paper for 2nd Maghr. Conference on Software Engineering and Artificial Intelligence, Tunis, 1992.
5. High-level net processes;Ehrig,2002