HTML Export for Dagstuhl Seminar Proceedings, Volume 4241

Copy to Clipboard Download

<h2>Dagstuhl Seminar Proceedings, Volume 4241, </h2>
<ul>
<li>
    <span class="authors">Barbara König, Ugo Montanari, and Philippa Gardner</span>
    <span class="title">04241 Abstracts Collection – Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.04241.1">10.4230/DagSemProc.04241.1</a>
</li>
<li>
    <span class="authors">Pawel Sobocinski</span>
    <span class="title">Summary 1: Adhesivity, Bigraphs and Bisimulation Congruences</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.04241.2">10.4230/DagSemProc.04241.2</a>
</li>
<li>
    <span class="authors">Paolo Baldan, Barbara König, and Arend Rensink</span>
    <span class="title">Summary 2: Graph Grammar Verification through Abstraction</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.04241.3">10.4230/DagSemProc.04241.3</a>
</li>
<li>
    <span class="authors">Roberto Bruni and Ivan Lanese</span>
    <span class="title">Summary 3: On Graph(ic) Encodings</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.04241.4">10.4230/DagSemProc.04241.4</a>
</li>
</ul>

The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.

Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode