Summary 3: On Graph(ic) Encodings

Bruni, Roberto; Lanese, Ivan

doi:10.4230/DagSemProc.04241.4

Document

Summary 3: On Graph(ic) Encodings

Authors Roberto Bruni, Ivan Lanese

Part of: Volume: Dagstuhl Seminar Proceedings, Volume 4241
Part of: Series: Dagstuhl Seminar Proceedings (DagSemProc)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2005-02-18

PDF

File

PDF

DagSemProc.04241.4.pdf

Filesize: 279 kB
15 pages

Document Identifiers

DOI: 10.4230/DagSemProc.04241.4
URN: urn:nbn:de:0030-drops-303

Subject Classification

Keywords

graph transformation
process calculi
encodings

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

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.

Cite As Get 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

Author Details

Roberto Bruni

Ivan Lanese

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail