Dagstuhl Seminar Proceedings, Volume 4241,

• Barbara König, Ugo Montanari, and Philippa Gardner 04241 Abstracts Collection – Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems 10.4230/DagSemProc.04241.1
• Pawel Sobocinski Summary 1: Adhesivity, Bigraphs and Bisimulation Congruences 10.4230/DagSemProc.04241.2
• Paolo Baldan, Barbara König, and Arend Rensink Summary 2: Graph Grammar Verification through Abstraction 10.4230/DagSemProc.04241.3
• Roberto Bruni and Ivan Lanese Summary 3: On Graph(ic) Encodings 10.4230/DagSemProc.04241.4