1. Asperti, A., Busi, N.: Mobile Petri nets. Technical Report UBLCS 96-10, Computer Science Department, University of Bologna (1996)
2. Lecture Notes in Computer Science;M. Buscemi,2001
3. Corradini, A., Degano, P., Montanari, U.: Specifying highly concurrent data structure manipulation. In: Proc. of Computing 1985: A Broad Perspective of Current Developments (1985)
4. Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., Löwe, M.: Algebraic approaches to graph transformation I: Basic concepts and double pushout approach. In: [13]
5. Corradini, A., Montanari, U., Rossi, F.: Graph processes. Fund. Inf. 26, 241–265 (1996)