Communicating and Mobile Systems The Pi Calculus

Name: Communicating and Mobile Systems The Pi Calculus
Price: 6.75 USD
Availability: InStock
ISBN: 9780521658690

ISBN-10: 0521658691

ISBN-13: 9780521658690

Edition: 1999

Authors: Robin Milner

List price: $66.99

This item qualifies for FREE shipping.

30 day, 100% satisfaction guarantee!

Buy new: $56.14

Marketplace

3 new & used from $6.75

what's this?

Rush Rewards U
Members Receive:

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…

Book details

List price: $66.99
Copyright year: 1999
Publisher: Cambridge University Press
Publication date: 5/20/1999
Binding: Paperback
Pages: 174
Size: 6.02" wide x 8.94" long x 0.51" 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