04241 Abstracts Collection - Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems