Graph Rewriting and Constraint Solving for Modelling Distributed Systems with Synchronization (Extended Abstract).

Ugo Montanari, Francesca Rossi

Browse the full Coordination paper archive.