@InProceedings{konig_et_al:DagSemProc.04241.1, author = {K\"{o}nig, Barbara and Montanari, Ugo and Gardner, Philippa}, title = {{04241 Abstracts Collection – Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems}}, booktitle = {Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems}, 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.1}, URN = {urn:nbn:de:0030-drops-279}, doi = {10.4230/DagSemProc.04241.1}, annote = {Keywords: graph transformation , process calculi} }