Skip to content

Communicating and Mobile Systems The Pi Calculus

Spend $50 to get a free movie!

ISBN-10: 0521658691

ISBN-13: 9780521658690

Edition: 1999

Authors: Robin Milner

List price: $59.99
Blue ribbon 30 day, 100% satisfaction guarantee!
Out of stock
what's this?
Rush Rewards U
Members Receive:
Carrot Coin icon
XP icon
You have reached 400 XP and carrot coins. That is the daily max!

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…    
Customers also bought

Book details

List price: $59.99
Copyright year: 1999
Publisher: Cambridge University Press
Publication date: 5/20/1999
Binding: Paperback
Pages: 174
Size: 6.00" wide x 9.00" long x 0.25" tall
Weight: 0.550
Language: English

Glossary
Communicating Systems
Introduction
Behaviour of automata
Sequential processes and bisimulation
Concurrent processes and reaction
Transitions and strong equivalence
Observation equivalence: theory
Observation equivalence: examples
The �-Calculus
What is mobility?
The �-calculus and reaction
Applications of the �-calculus
Sorts, objects and functions
Commitments and strong bisimulation
Observation equivalence and examples
Discussion and related work
Bibliography
Index