A model for distributed systems based on graph rewriting

@article{Degano1987AMF,
  title={A model for distributed systems based on graph rewriting},
  author={Pierpaolo Degano and Ugo Montanari},
  journal={J. ACM},
  year={1987},
  volume={34},
  pages={411-449}
}
In our model, a graph describes a net of processes communicating through ports and, at the same time, its computation history consisting of a partial ordering of events. Stand-alone evolution of processes is specified by context-free productions. From productions and a basic synchronization mechanism, a set of context-sensitive rewriting rules that models the evolution of processes connected to the same ports can be derived. A computation is a sequence of graphs obtained by successive… CONTINUE READING

Similar Papers

Loading similar papers…