"Sangiorgi and Walker have written an extremely valuable account of the pi-calculus which should be appreciated by researchers in theoretical computer science and related areas of symbolic logic, as it covers the basic theory rigorously and in great depth. It is a valuable reference for those of us who are active researchers in this area." Symoblic Logic
A detailed text on the p-calculus, a mathematical model highly suited to describing mobile systems, the components of which communicate and change their structure. The book is written at the graduate level, assuming no prior acquaintance with the subject, and is intended for computer scientists interested in mobile systems.