Dagstuhl Seminar Proceedings: Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems 2004
Barbara König, Ugo Montanari, Philippa Gardner (Eds.): Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 6.-11. June 2004. IBFI, Schloss Dagstuhl, Germany 2005 Dagstuhl Seminar Proceedings 04241- Barbara König, Ugo Montanari, Philippa Gardner: 04241 Abstracts Collection - Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems.
- Pawel Sobocinski: Summary 1: Adhesivity, Bigraphs and Bisimulation Congruences.
- Paolo Baldan, Barbara König, Arend Rensink: Summary 2: Graph Grammar Verification through Abstraction.
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team