MobiS: A Specification Language for Mobile Systems

@inproceedings{Mascolo1999MobiSAS,
  title={MobiS: A Specification Language for Mobile Systems},
  author={Cecilia Mascolo},
  booktitle={COORDINATION},
  year={1999}
}