Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems