Join Amazon Prime and get unlimited Free One-Day Delivery. Already a member? Sign in.
Frequently Bought Together
Customers Who Bought This Item Also Bought
Communicating and Mobile Systems : The Pi-Calculus: The Pi Calculus by Robin Milner |
by Matthew Hennessy
|
Logic in Computer Science: Modelling and Reasoning About Systems by Michael Huth |
by BC Pierce
|
Communication and Concurrency (Prentice Hall International Series in Computing Science) by Robin Milner |
Product details
Would you like to update product info or give feedback on images?
|
Customers Viewing This Page May Be Interested in These Sponsored Links(What is this?) |
Calculus in 24 Hours
RapidLearningCenter.com/Calculus
Master calculus the rich-media way, rapid learning visually in 24 hours
Product Description
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
Product Description
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.
See all Product Description
"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
Product Description
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.
See all Product Description
Inside This Book
(Learn More)
First Sentence
Mobile systems are everywhere. Read the first page
Front Cover | Copyright | Table of Contents | Excerpt | Index | Back Cover
Mobile systems are everywhere. Read the first page
Explore More
Concordance
Browse Sample PagesConcordance
Front Cover | Copyright | Table of Contents | Excerpt | Index | Back Cover
Suggested Tags from Similar Products(What's this?)Be the first one to add a relevant tag (keyword that's strongly related to this product)
|
What Do Customers Ultimately Buy After Viewing This Item?
 |
52% buy Communicating and Mobile Systems : The Pi-Calculus: The Pi Calculus £24.69 |
 |
48% buy the item featured on this page: The Pi-Calculus: A Theory of Mobile Processes£50.35 |
Customer Reviews
There are no customer reviews yet. Create your own review
| |||
Video reviews
|
|
Listmania!
|
|
Look for similar items by category
Feedback
- Would you like to update product info or give feedback on images?
- I am the Author, and I want to comment on my book.
- I am the Publisher, and I want to comment on this book.
Trustworthy Global Computing...
This book constitutes the thoroughly refereed post-proceedings of the...
Read more
|
Beauty without the Beast |
Up to 53% off Braun Series Shavers |
Treat Someone
With an Amazon.co.uk Gift Certificate, you can get them what they want (even if you don't know what that is). |
|||||||
| |||||
Your Recent History
(What's this?)|
You have no recently viewed items or searches.
After viewing product detail pages or search results, look here to find an easy way to navigate back to pages you are interested in. Look to the right column to find helpful suggestions for your shopping session. |
Continue Shopping: Top Sellers
| ||||
Amazon Home | |
| International Sites: United States | Germany | France | Japan | Canada | China | |
| Business Programs: Sell on Amazon | Fulfilment by Amazon | Join Associates | Join Advantage | |
| Customer Service | Help | View Basket | Your Account | |
| About Amazon.co.uk | Careers at Amazon | |
| Conditions of Use & Sale | Privacy Notice © 1996-2009, Amazon.com, Inc. and its affiliates |