Communicating and Mobile Systems
The Pi Calculus
- Publisher's listprice GBP 56.00
-
28 341 Ft (26 992 Ft + 5% VAT)
The price is estimated because at the time of ordering we do not know what conversion rates will apply to HUF / product currency when the book arrives. In case HUF is weaker, the price increases slightly, in case HUF is stronger, the price goes lower slightly.
- Discount 20% (cc. 5 668 Ft off)
- Discounted price 22 673 Ft (21 594 Ft + 5% VAT)
Subcribe now and take benefit of a favourable price.
Subscribe
28 341 Ft
Availability
Estimated delivery time: In stock at the publisher, but not at Prospero's office. Delivery time approx. 3-5 weeks.
Not in stock at Prospero.
Why don't you give exact delivery time?
Delivery time is estimated on our previous experiences. We give estimations only, because we order from outside Hungary, and the delivery time mainly depends on how quickly the publisher supplies the book. Faster or slower deliveries both happen, but we do our best to supply as quickly as possible.
Product details:
- Publisher Cambridge University Press
- Date of Publication 20 May 1999
- ISBN 9780521658690
- Binding Paperback
- No. of pages174 pages
- Size 227x153x13 mm
- Weight 240 g
- Language English
- Illustrations 58 b/w illus. 230 exercises 0
Categories
Short description:
First account of new theory of communication in computing which describes networks, as well as parts of computer systems.
MoreLong 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.
'... may well become the standard work on the &&&960;-calculus.' Martin Hoffman, Zentralblatt MATH
Table of Contents:
Glossary; Part I. Communicating Systems: 1. Introduction; 2. Behaviour of automata; 3. Sequential processes and bisimulation; 4. Concurrent processes and reaction; 5. Transitions and strong equivalence; 6. Observation equivalence: theory; 7. Observation equivalence: examples; Part II. The &&&960;-Calculus: 8. What is mobility? 9. The &&&960;-calculus and reaction; 10. Applications of the &&&960;-calculus; 11. Sorts, objects and functions; 12. Commitments and strong bisimulation; 13. Observation equivalence and examples; 14. Discussion and related work; Bibliography; Index.
More
