A Notation and Logic for Mobile Computing.

Gruia-Catalin Roman Peter J. McCann A Notation and Logic for Mobile Computing. 47-68 2002 20 Formal Methods in System Design 1 db/journals/fmsd/fmsd20.html#RomanM02