MobiS: A Specification Language for Mobile Systems.

Cecilia Mascolo

Browse the full Coordination paper archive.