Technische Universit at M U N C H E N Institut F Ur Informatik Compositional Speciication of Mobile Systems 1997 Sfb 342 Methoden Und Werkzeuge F Ur Die Nutzung Paralleler Architekturen Compositional Speciication of Mobile Systems