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

Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 6.-11. June 2004 Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems Barbara König Ugo Montanari Philippa Gardner 04241 2005 Dagstuhl Seminar Proceedings IBFI, Schloss Dagstuhl, Germany db/conf/dagstuhl/P4241.html