License
when quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-303
URL: http://drops.dagstuhl.de/opus/volltexte/2005/30/

Bruni, Roberto ; Lanese, Ivan

Summary 3: On Graph(ic) Encodings

pdf-format:
Dokument 1.pdf (280 KB)


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:DSP:2005:30,
  author =	{Roberto Bruni and Ivan Lanese},
  title =	{Summary 3: On Graph(ic) Encodings},
  booktitle =	{Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems},
  year =	{2005},
  editor =	{Barbara K{\"o}nig and Ugo Montanari and Philippa Gardner},
  number =	{04241},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2005/30},
  annote =	{Keywords: graph transformation , process calculi , encodings}
}

Keywords: graph transformation , process calculi , encodings
Seminar: 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 Published by LZI