The [pi]-calculus : a theory of mobile processes /
Sangiorgi, Davide.
Walker, David,1961-
Cambridge : Cambridge University Press,
2001.
Includes bibliographical references and index.
Mobile computing.
Mobile communication systems.
Pi-calculus.