Communicating and Mobile Systems by Robin Milner
Look inside with Google Book Preview
Communicating and Mobile Systems
By Robin Milner

Communicating and Mobile Systems

The Pi Calculus

By (author) See other recent books by Robin Milner
Format: Hardback

Normal Price: $230.00
Your Price: $207.00 AUD, inc. GST
Shipping: $7.95 per order
You Save: $23.00! (10% off normal price)
Plus...earn $10.35 in Boomerang Bucks
Availability: Available Available to Backorder, No Due Date for Supply



Communicating and Mobile Systems by Robin Milner

Book Description

The pi-calculus differs from other models of communicating behaviour mainly in its treatment of mobility. The movement of a piece of data inside a computer program is treated exactly the same as the transfer of a message - or indeed an entire computer program - across the internet. One can also describe networks which reconfigure themselves. The calculus is very simple but powerful; its most prominent ingredient is the notion of a name. Its theory has two important ingredients: the concept of behavioural (or observational) equivalence, and the use of a new theory of types to classify patterns of interactive behaviour. The internet, and its communication protocols, fall within the scope of the theory just as much as computer programs, data structures, algorithms and programming languages. This book is the first textbook on the subject; it has been long-awaited by professionals and will be welcomed by them, and their students.

Buy Communicating and Mobile Systems book by Robin Milner from Australia's Online Bookstore, Boomerang Books.


Book Details

ISBN: 9780521643207
ISBN-10: 0521643201
Format: Hardback
(228mm x 152mm x 14mm)
Pages: 176
Imprint: Cambridge University Press
Publisher: Cambridge University Press
Publish Date: 20-May-1999
Country of Publication: United Kingdom

Other Editions...


Books By Author Robin Milner

Computing Tomorrow by Robin Milner Computing Tomorrow, Paperback (March 2009)

Collection of essays dealing with the future of computer science as a research subject.

Space and Motion of Communicating Agents by Robin Milner Space and Motion of Communicating Agents, Paperback (March 2009)

Robin Milner presents a unified structural theory for modelling networks of agents that is destined to have far-reaching significance.

Communicating and Mobile Systems by Robin Milner Communicating and Mobile Systems, Paperback (May 1999)

First account of new theory of communication in computing which describes networks, as well as parts of computer systems.

» View all books by Robin Milner

Reviews

» Have you read this book? We'd like to know what you think about it - write a review about Communicating and Mobile Systems book by Robin Milner and you'll earn 50c in Boomerang Bucks loyalty dollars (you must be a member - it's free to sign up!)

Write a book review


Boomerang Bucks close

For every $20 you spend on books, you will receive $1 in Boomerang Bucks loyalty dollars. You can use your Boomerang Bucks as a credit towards a future purchase from Boomerang Books. Note that you must be a Member (free to sign up) and that conditions do apply.

Recent books by Robin Milner close
Computing Tomorrow by Robin Milner
Space and Motion of Communicating Agents by Robin Milner
Space and Motion of Communicating Agents by Robin Milner
Communicating and Mobile Systems by Robin Milner
Computing Tomorrow by Robin Milner
»
BoomerangBooks.com.au close