Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 6.-11. June 2004 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Barbara König, Ugo Montanari, Philippa Gardner, editors, Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 6.-11. June 2004. Volume 04241 of Dagstuhl Seminar Proceedings, IBFI, Schloss Dagstuhl, Germany, 2005.

Conference: Dagstuhl2005

Abstract is missing.

Summary 2: Graph Grammar Verification through AbstractionPaolo Baldan, Barbara König, Arend Rensink. [doi]

04241 Abstracts Collection - Graph Transformations and Process Algebras for Modeling Distributed and Mobile SystemsBarbara König, Ugo Montanari, Philippa Gardner. [doi]

Summary 1: Adhesivity, Bigraphs and Bisimulation CongruencesPawel Sobocinski. [doi]

Summary 3: On Graph(ic) EncodingsRoberto Bruni, Ivan Lanese. [doi]

runs on WebDSL