The Pi-Calculus: A Theory of Mobile Processes Revised Edition Contributor(s): Sangiorgi, Davide (Author), Walker, David (Author) |
|
ISBN: 0521543274 ISBN-13: 9780521543279 Publisher: Cambridge University Press OUR PRICE: $75.99 Product Type: Paperback - Other Formats Published: October 2003 Annotation: 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 science of mobile systems is as yet immature, however. This book presents the pi-calculus, a theory of mobile systems. The pi-calculus provides a conceptual framework for understanding mobility, and mathematical tools for expressing systems and reasoning about their behaviours. The book serves both as a reference for the theory and as an extended demonstration of how to use pi-calculus to describe systems and analyse their properties. It covers the basic theory of pi-calculus, typed pi-calculi, higher-order processes, the relationship between pi-calculus and lambda-calculus, and applications of pi-calculus to object-oriented design and programming. 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. |
Additional Information |
BISAC Categories: - Computers | Networking - General - Computers | Software Development & Engineering - General - Computers | Programming Languages - General |
Dewey: 004.6 |
Physical Information: 1.21" H x 7.44" W x 9.69" (2.31 lbs) 596 pages |