Title: The [pi]-calculus
Subjects: Mobile communication systems, Mobile computing, Pi-calculus