@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} }