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

Ugo Montanari, Francesca Rossi. Graph Rewriting and Constraint Solving for Modelling Distributed Systems with Synchronization (Extended Abstract). In Paolo Ciancarini, Chris Hankin, editors, Coordination Languages and Models, First International Conference, COORDINATION 96, Cesena, Italy, April 15-17, 1996, Proceedings. Volume 1061 of Lecture Notes in Computer Science, pages 12-27, Springer, 1996.

Abstract

Abstract is missing.