Join Amazon Prime and get unlimited Free One-Day Delivery. Already a member? Sign in.

Quantity: 

or
Sign in to turn on 1-Click ordering.
 
   
More Buying Choices
19 used & new from £39.20

Have one to sell? Sell yours here
 
   
Tell a Friend
The Pi-Calculus: A Theory of Mobile Processes
 
 
The Pi-Calculus: A Theory of Mobile Processes (Paperback)
by Davide Sangiorgi;David Walker (Author) "Mobile systems are everywhere ..." (more)
No customer reviews yet. Be the first.
RRP: £50.00
Price: £47.50 & this item Delivered FREE in the UK with Super Saver Delivery. See details and conditions
You Save: £2.50 (5%)
Availability: In stock. Dispatched from and sold by Amazon.co.uk.

Only 3 left in stock--order soon (more on the way).

Want guaranteed delivery by 1pm Tuesday, May 20? Choose Express delivery at checkout. See Details

19 used & new available from £39.20

Perfect Partner

Buy this book with Communicating and Mobile Systems : The Pi-Calculus: The Pi Calculus by Robin Milner today!

The Pi-Calculus: A Theory of Mobile Processes Communicating and Mobile Systems : The Pi-Calculus: The Pi Calculus
Buy Together Today: £71.24

Customers Who Bought This Item Also Bought

Communicating and Mobile Systems : The Pi-Calculus: The Pi Calculus

Communicating and Mobile Systems : The Pi-Calculus: The Pi Calculus by Robin Milner

4.5 out of 5 stars (2)  £23.74
A Distributed Pi-calculus

A Distributed Pi-calculus by Matthew Hennessy

£33.25
Types and Programming Languages

Types and Programming Languages by BC Pierce

£40.80
Explore similar items : Books (3)

Product details
  • Paperback: 592 pages
  • Publisher: Cambridge University Press; New Ed edition (16 Oct 2003)
  • Language English
  • ISBN-10: 0521543274
  • ISBN-13: 978-0521543279
  • Product Dimensions: 23 x 18.6 x 3.6 cm
  • Average Customer Review: No customer reviews yet. Be the first.
  • Amazon.co.uk Sales Rank: 445,254 in Books (See Bestsellers in Books)
    (Publishers and authors: Improve Your Sales)
  •  Would you like to update product info or give feedback on images? (We'll ask you to sign in so we can get back to you)


Product Description
Synopsis
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.

Inside This Book (Learn More)
First Sentence
Mobile systems are everywhere. Read the first page
Explore More
Concordance
Browse Sample Pages
Front Cover | Copyright | Table of Contents | Excerpt | Index | Back Cover
Search inside this book:

Customer Reviews

Share your thoughts with other customers: Write an online review
 



Customer Discussions Beta (What's this?)
This product's forum (0 discussions)
Discussion Replies Latest Post
No discussions yet

Ask questions, Share opinions, Gain insight
Start a new discussion
Topic:
First post:
Prompts for sign-in
 

   


Listmania!
Create a Listmania! list
Search Listmania!

Look for similar items by category

Look for similar items by subject
Computer Communications & Networking
Mathematical theory of computation
Computer Books: General
Computers
Computers - Communications / Networking
General
Networking - General
Programming - Software Development


i.e., each product must be in subject 1 AND subject 2 AND ...

Feedback



Where's My Stuff?
Delivery and Returns
Need Help?
Search our shops   

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.

     

amazon.co.uk Amazon Home
International Sites:  United States  |  Germany  |  France  |  Japan  |  Canada  |  China
Customer Service  |  Help  |  View Basket  |  Your Account
About Amazon.co.uk  |  Careers at Amazon  |  Join Associates  |  Join Advantage
Conditions of Use & Sale |  Privacy Notice  © 1996-2008, Amazon.com, Inc. and its affiliates