Mobile systems, whose components communicate and change their
structure,
now pervade the informational world and the wider world of which it is
a part. The π-calculus provides a conceptual framework for
understanding
mobility, and mathematical tools for expressing systems and reasoning
about
their behaviours.
The best source of further information on the theory of mobile
processes is the
"The π-calculus. A theory of mobile processes" book by Davide Sangiorgi
and David Walker (see our books
section for more information)
