Graph Rewriting, Constraint Solving and Tiles for Coordinating Distributed Systems

Ugo Montanari, Francesca Rossi. Graph Rewriting, Constraint Solving and Tiles for Coordinating Distributed Systems. Applied Categorical Structures, 7(4):333-370, 1999. [doi]

Abstract

Abstract is missing.