1. Interaction categories and the foundations of typed concurrent programming;Abramsky,1996
2. Equational term graph rewriting;Ariola;Fundamenta Informaticae,1996
3. Term graph rewriting;Barendregt,1987
4. R. Bruni, Tile Logic for Synchronized Rewriting of Concurrent Systems, Ph.D. Thesis TD-01/99, University of Pisa, Department of Computer Science, 1998.
5. R. Bruni, J. Meseguer, U. Montanari, Process and term tile logic, Technical Report SRI-CSL-98-06, SRI International, 1998, Also Technical Report TR-98-09, University of Pisa, Department of Computer Science, 1998.