Dagstuhl Seminar Proceedings: Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems 2004

a service of Schloss Dagstuhl - Leibniz Center for Informatics