1. The algebra of recursively defined processes and the algebra of regular processes;Bergstra,1984
2. A model for distributed systems based on graph rewriting;Degano;Journal of the ACM,1987
3. A LTS semantics of ambients via graph synchronization with mobility;Ferrari,2001
4. D. Hirsch. Graph transformation models for software architecture styles. PhD thesis, Departamento de Computación, Facultad de Ciencias Exactas y Naturales, U.B.A., 2003
5. Synchronized hyperedge replacement with name mobility;Hirsch,2001