COMMUNICATING AND MOBILE SYSTEMS - Milner,Robin (Cambridge Univ. Press, Cambridge, 1999)
Keywords: Mobile Computing; Telecommunication Systems; Pi-Calculus