Marco Bernardo, Alessandro Bogliolo Formal Methods for Mobile Computing - 2005 ISBN: 978-3-540-32021-0 Subjects--Topical Terms: Computer Communication NetworksLogics and Meanings of ProgramsSoftware EngineeringSpecial Purpose and Application-Based Systems Programming Languages, Compilers, InterpretersComputer Science