The Pi-Calculus
Format: Paperback
ISBN13: 9780521543279
Paperback|9780521543279
✨ Featured Offer
Brand New
$85.94
List Price: $59.99
🚚
See all 5 offers from $73.01 FREE standard delivery by: 31 Mar 2026
Overview
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.
| ISBN-13 | 9780521543279 |
|---|---|
| ISBN-10 | 0521543274 |
| Weight | 2.39 Pounds |
| Dimensions | 7.44 x 1.35 x 9.69 In |
| List Price | $59.99 |
| Edition | 1st Edition |
| Format | Paperback |
|---|---|
| Language | English |
| Pages | 596 pages |
| Publisher | Cambridge University Press |
| Published On | 2003-10-16 |
View All Offers
Sort by:
Price
Condition
Seller
Seller Comments
Price
Used, Good
Seller details
Michael Knight, Bookseller
Forest Grove, OR, USA
Paperback. Highlighting to pages. Binding solid.
Free delivery by: 31 Mar 2026
✨ Brand New
Seller details
Alibris
Sparks, NV, USA
Print on demand Trade paperback (US). Glued binding. 596 p. Contains: Unspecified.
Free delivery by: 31 Mar 2026
Used, Like New
Seller details
GreatBookPrices-
Columbia, MD, USA
100% Money Back Guarantee. Brand New, Perfect Condition. We offer expedited shipping to all US locat...
Free delivery by: 31 Mar 2026
Brand New
Seller details
GreatBookPrices-
Columbia, MD, USA
100% Money Back Guarantee. Brand New, Perfect Condition. We offer expedited shipping to all US locat...
Free delivery by: 31 Mar 2026
Used, Good
Seller details
Bonita
Santa Clarita, CA, USA
Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Free delivery by: 31 Mar 2026