1. Lect Notes Comput Sci;P. Baldan,2001
2. P. Baldan, A. Corradini, and B. König. Static analysis of distributed systems with mobility specified by graph grammars—a case study. In Proc. of IDPT’ 02 (World Conference on Integrated Design & Process Technology), 2002. to appear.
3. Lect Notes Comput Sci;P. Baldan,1998
4. Lect Notes Comput Sci;P. Baldan,1999
5. A. Corradini, U. Montanari, and F. Rossi. Graph processes. Fundamenta Informaticae, 26:241–265, 1996.