Graph rewriting, constraint solving and tiles for coordinating distributed systems. applied categorical structures (1999)

by Ugo Montanari, Francesca Rossi
Venue:142 Petter - Service Composition and Declarative Model-Transformation