Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH scholarly article en Sobocinski, Pawel License
when quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-286
URL:

Summary 1: Adhesivity, Bigraphs and Bisimulation Congruences

pdf-format:


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
Related Scholarly Article:
Issue date: 2005
Date of publication: 2005


DROPS-Home | Fulltext Search | Imprint Published by LZI