License
When quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-286
URL: http://drops.dagstuhl.de/opus/volltexte/2005/28/
Go to the corresponding Portal


Sobocinski, Pawel

Summary 1: Adhesivity, Bigraphs and Bisimulation Congruences

pdf-format:
Document 1.pdf (354 KB)


Abstract

This paper is intended as a short informal summary of some of the topics which arose at the Dagstuhl meeting held 6/06/04-11/06/04. In particular, we shall summarise some of the content of talks by H. Ehrig, F. Gadducci, O. H. Jensen, R. Milner, B. König, V. Sassone and the author. The general areas include adhesive categories and generalisations, contextual labelled transition semantics for graph transformation systems via borrowed-contexts and GIPOs, and bigraphs. We shall conclude with a summary of some of the discussions which followed the aforementioned presentations.

BibTeX - Entry

@InProceedings{sobocinski:DSP:2005:28,
  author =	{Pawel Sobocinski},
  title =	{Summary 1: Adhesivity, Bigraphs and Bisimulation Congruences},
  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/28},
  annote =	{Keywords: graph transformation , category theory , bisimulation}
}

Keywords: graph transformation , category theory , bisimulation
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