P. Degano;U. Montanari
Univ. of Pisa, Pisa, Italy;Univ. of Pisa, Pisa, Italy
A model for distributed systems based on graph rewriting
Journal of the ACM (JACM)