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.
@InProceedings{sobocinski:DagSemProc.04241.2, author = {Sobocinski, Pawel}, title = {{Summary 1: Adhesivity, Bigraphs and Bisimulation Congruences}}, booktitle = {Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems}, pages = {1--12}, 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/entities/document/10.4230/DagSemProc.04241.2}, URN = {urn:nbn:de:0030-drops-286}, doi = {10.4230/DagSemProc.04241.2}, annote = {Keywords: graph transformation , category theory , bisimulation} }
Feedback for Dagstuhl Publishing