License
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.04241.4
URN: urn:nbn:de:0030-drops-303
URL: https://drops.dagstuhl.de/opus/volltexte/2005/30/
Go to the corresponding Portal


Bruni, Roberto ; Lanese, Ivan

Summary 3: On Graph(ic) Encodings

pdf-format:
04241.SWM5.Paper.pdf (0.3 MB)


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.

BibTeX - Entry

@InProceedings{bruni_et_al:DagSemProc.04241.4,
  author =	{Bruni, Roberto and Lanese, Ivan},
  title =	{{Summary 3: On Graph(ic) Encodings}},
  booktitle =	{Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems},
  pages =	{1--15},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{4241},
  editor =	{Barbara K\"{o}nig and Ugo Montanari and Philippa Gardner},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2005/30},
  URN =		{urn:nbn:de:0030-drops-303},
  doi =		{10.4230/DagSemProc.04241.4},
  annote =	{Keywords: graph transformation , process calculi , encodings}
}

Keywords: graph transformation , process calculi , encodings
Collection: 04241 - Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems
Issue Date: 2005
Date of publication: 18.02.2005


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI