Cecilia Mascolo. MobiS: A Specification Language for Mobile Systems. In Paolo Ciancarini, Alexander L. Wolf, editors, Coordination Languages and Models, Third International Conference, COORDINATION 99, Amsterdam, The Netherlands, April 26-28, 1999, Proceedings. Volume 1594 of Lecture Notes in Computer Science, pages 37-52, Springer, 1999. [doi]
@inproceedings{Mascolo99:0, title = {MobiS: A Specification Language for Mobile Systems}, author = {Cecilia Mascolo}, year = {1999}, url = {http://link.springer.de/link/service/series/0558/bibs/1594/15940037.htm}, tags = {mobile}, researchr = {https://researchr.org/publication/Mascolo99%3A0}, cites = {0}, citedby = {0}, pages = {37-52}, booktitle = {Coordination Languages and Models, Third International Conference, COORDINATION 99, Amsterdam, The Netherlands, April 26-28, 1999, Proceedings}, editor = {Paolo Ciancarini and Alexander L. Wolf}, volume = {1594}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-65836-X}, }