Summary 3: On Graph(ic) Encodings

Authors Roberto Bruni, Ivan Lanese

Thumbnail PDF


  • Filesize: 279 kB
  • 15 pages

Document Identifiers

Author Details

Roberto Bruni
Ivan Lanese

Cite AsGet BibTex

Roberto Bruni and Ivan Lanese. Summary 3: On Graph(ic) Encodings. In Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems. Dagstuhl Seminar Proceedings, Volume 4241, pp. 1-15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)


This paper is an informal summary of different encoding techniques from process calculi and distributed formalisms to graphic frameworks. The survey includes the use of solo diagrams, term graphs, synchronized hyperedge replacement systems, bigraphs, tile models and interactive systems, all presented at the Dagstuhl Seminar 04241. The common theme of all techniques recalled here is having a graphic presentation that, at the same time, gives both an intuitive visual rendering (of processes, states, etc.) and a rigorous mathematical framework.
  • graph transformation
  • process calculi
  • encodings


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads