Condition: Good. Satisfaction Guaranteed!
0521643201 - Communicating and Mobile Systems: the Pi Calculus by Robin Milner
Book is in Used-Good condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear and contain limited notes and highlighting. Never used! This item is printed on demand.
Graduate course: A theory of mobile processes, 5p
Published by Cambridge University Press. About this Item: Cambridge University Press. Seller Inventory ING Seller Inventory NEW Ships with Tracking Number! May not contain Access Codes or Supplements. May be ex-library. Buy with confidence, excellent customer service!. Seller Inventory n. Item added to your basket View basket. Proceed to Basket.
View basket. Continue shopping.
Items in search results
Results 1 - 20 of United Kingdom. Search Within These Results:. 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.
Communicating and Mobile Systems: The Pi Calculus - Robin Milner - Google книги
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. First account of new theory of communication in computing which describes networks, as well as parts of computer systems.
- The spirit of Pentecost;
- Paradise Lost (Oxford Worlds Classics);
- The Candlemakers Companion: A Complete Guide to Rolling, Pouring, Dipping, and Decorating Your Own Candles.
- Communicating and mobile systems - the Pi-calculus;
- Account Options;
- Communicating and Mobile Systems: The Pi Calculus.
Convert currency. Add to Basket. Book Description Condition: New. Bookseller Inventory ST Seller Inventory ST More information about this seller Contact this seller.
Book Description Cambridge University Press , Condition: New. Seller Inventory Language: English. Brand new Book. 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.
Related Communicating and Mobile Systems. the Pi-Calculus
Copyright 2019 - All Right Reserved