DagSemProc.04241.4.pdf
- Filesize: 279 kB
- 15 pages
Document
Summary 3: On Graph(ic) Encodings
Authors
-
Part of:
Volume:
Dagstuhl Seminar Proceedings, Volume 4241
Series: Dagstuhl Seminar Proceedings (DagSemProc) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2005-02-18
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)
https://doi.org/10.4230/DagSemProc.04241.4
https://doi.org/10.4230/DagSemProc.04241.4
Abstract
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.
Keywords
- graph transformation
- process calculi
- encodings
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads