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
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
|
Imprint
|
Privacy