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

@inproceedings{Montanari1996GraphRA,
  title={Graph Rewriting and Constraint Solving for Modelling Distributed Systems with Synchronization (Extended Abstract)},
  author={Ugo Montanari and Francesca Rossi},
  booktitle={COORDINATION},
  year={1996}
}
In this extended abstract we describe our approach to modelling the dynamics of distributed systems. For distributed systems we mean systems consisting of concurrent processes communicating via shared ports and posing certain synchronization requirements, via the ports, to the adjacent processes. We use graphs to represent states of such systems , and graph rewriting to represent their evolution. The kind of graph rewriting we use is based on simple context-free productions which are however… CONTINUE READING