Amy L. Murphy, Gruia-Catalin Roman, George Varghese. An Exercise in Formal Reasoning about Mobile Communications. In Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998, USA, April 16-18, 1998. pages 25-33, IEEE Computer Society, 1998. [doi]
Abstract is missing.