Items related to The Pi-Calculus: A Theory of Mobile Processes

The Pi-Calculus: A Theory of Mobile Processes - Softcover

Sangiorgi, Davide

 
9780521543279: The Pi-Calculus: A Theory of Mobile Processes

Synopsis

Graduate text on the p-calculus, a mathematical model of mobile computing systems.

"synopsis" may belong to another edition of this title.

Review

"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

Book Description

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.

"About this title" may belong to another edition of this title.