Dagstuhl Seminar Proceedings 04241

Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems

B. König, U. Montanari, P. Gardner (Eds.)

published by LZI
Host

ISSN  1862 - 4405

Dagstuhl Seminar 04241, 06.06. - 11.06.2004
Additional Information
Seminar Homepage
License
Search Publication Server

Authors
  • Baldan, Paolo
  • Bruni, Roberto
  • Gardner, Philippa
  • König, Barbara
  • Lanese, Ivan
  • Montanari, Ugo
  • Rensink, Arend
  • Sobocinski, Pawel

  •   
    04241 Abstracts Collection -- Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems
    Authors: König, Barbara ; Montanari, Ugo ; Gardner, Philippa

    Abstract | Document (351 KB) | BibTeX

    Summary 1: Adhesivity, Bigraphs and Bisimulation Congruences
    Authors: Sobocinski, Pawel

    Abstract | Document (354 KB) | BibTeX

    Summary 2: Graph Grammar Verification through Abstraction
    Authors: Baldan, Paolo ; König, Barbara ; Rensink, Arend

    Abstract | Document (330 KB) | BibTeX

    Summary 3: On Graph(ic) Encodings
    Authors: Bruni, Roberto ; Lanese, Ivan

    Abstract | Document (280 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint
    Published by LZI