The Pi-Calculus: A Theory of Mobile Processes

1 customer review
ISBN-13: 978-0521543279
ISBN-10: 0521543274
Why is ISBN important?
This bar-code number lets you verify that you're getting exactly the right version or edition of a book. The 13-digit and 10-digit formats both work.
Scan an ISBN with your phone
Use the Amazon App to scan ISBNs and compare prices.
Sell yours for a Gift Card
We'll buy it for $10.31
Learn More
Trade in now
Have one to sell? Sell on Amazon
Buy used
Buy new
Amazon Price New from Used from
Paperback, October 16, 2003
"Please retry"
$92.14 $61.00
Unknown Binding
"Please retry"
More Buying Choices
17 New from $92.14 17 Used from $61.00

InterDesign Brand Store Awareness Rent Textbooks
$104.91 FREE Shipping. In Stock. Ships from and sold by Gift-wrap available.

Frequently Bought Together

The Pi-Calculus: A Theory of Mobile Processes + Communicating and Mobile Systems: The Pi Calculus
Price for both: $163.31

Buy the selected items together

Editorial Reviews


"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.

Shop the New Digital Design Bookstore
Check out the Digital Design Bookstore, a new hub for photographers, art directors, illustrators, web developers, and other creative individuals to find highly rated and highly relevant career resources. Shop books on web development and graphic design, or check out blog posts by authors and thought-leaders in the design industry. Shop now

Product Details

  • Paperback: 596 pages
  • Publisher: Cambridge University Press (October 16, 2003)
  • Language: English
  • ISBN-10: 0521543274
  • ISBN-13: 978-0521543279
  • Product Dimensions: 6.8 x 1.2 x 9.7 inches
  • Shipping Weight: 2.7 pounds (View shipping rates and policies)
  • Average Customer Review: 5.0 out of 5 stars  See all reviews (1 customer review)
  • Amazon Best Sellers Rank: #1,105,104 in Books (See Top 100 in Books)

More About the Author

Discover books, learn about writers, read author blogs, and more.

Customer Reviews

5 star
4 star
3 star
2 star
1 star
See the customer review
Share your thoughts with other customers

Most Helpful Customer Reviews

24 of 26 people found the following review helpful By Dr. Lee D. Carlson HALL OF FAMEVINE VOICE on March 13, 2006
Format: Paperback Verified Purchase
It is interesting that the pi-calculus, which on first inspection can be viewed as a highly abstract formalism somewhat removed from reality, has now found application in a variety of fields, such as business process modeling, computational biology, artificial intelligence, and network modeling. It is one of the many examples of process algebra that have appeared in the last two decades, and has been the subject of intense research. This book gives an overview of the formalism of pi-calculus, both in its original form as envisaged by its creator Robin Milner, and from the standpoint of its variations and extensions. For readers (such as this reviewer) who are relatively new to process algebra, the writing may be somewhat difficult to follow, this due mostly to the choice of notation. On the other hand, readers (such as this reviewer) who are familiar with the lambda calculus or functional programming will find familiar territory in the book, and will more fully appreciate the sixth part of the book, which deals with the interpretation of functions as processes. Those readers interested in applications will have to consult other books and papers.

Conceptually the pi-calculus is fairly easy to understand: it is a method of passing values that can respect the local scope. This ability distinguishes it from being merely a value-passing process algebra, which would be helpful in some contexts but not of much use in applications. The authors describe pi-calculus as being a theory of mobile systems, in that one can use it to understand mobility and to study the patterns executed by mobile systems.
Read more ›
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again

Set up an Amazon Giveaway

Amazon Giveaway allows you to run promotional giveaways in order to create buzz, reward your audience, and attract new followers and customers. Learn more
The Pi-Calculus: A Theory of Mobile Processes
This item: The Pi-Calculus: A Theory of Mobile Processes
Price: $104.91
Ships from and sold by

What Other Items Do Customers Buy After Viewing This Item?