Articles liés à Communicating and Mobile Systems: The Pi-Calculus
Synopsis
Communicating and Mobile Systems First account of new theory of communication in computing which describes networks, as well as parts of computer systems. Full description
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Présentation de l'éditeur
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.
Revue de presse
'... may well become the standard work on the π-calculus.' Martin Hoffman, Zentralblatt MATH
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
- ÉditeurCambridge University Press
- Date d'édition1999
- ISBN 10 0521658691
- ISBN 13 9780521658690
- ReliureBroché
- Langueanglais
- Nombre de pages176
Acheter neuf
Afficher cet article
EUR 68,66
EUR 3,57 expédition vers Etats-Unis
Destinations, frais et délais
Résultats de recherche pour Communicating and Mobile Systems: The Pi-Calculus
Image d'archives
Communicating and Mobile Systems (The Pi Calculus)
Edité par
Cambridge University Press, 1999
ISBN 10 : 0521658691
ISBN 13 : 9780521658690
Ancien ou d'occasion
Paperback
Vendeur : HPB-Red, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! N° de réf. du vendeur S_413912097
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Communicating and Mobile Systems: The Pi Calculus
Edité par
Cambridge University Press, 2001
ISBN 10 : 0521658691
ISBN 13 : 9780521658690
Ancien ou d'occasion
paperback
Vendeur : Earthlight Books, Walla Walla, WA, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
paperback. Etat : Good. Thank you for supporting Earthlight Books and independent bookstores. Trade paperback. Good. Minor shelf wear to covers/pages. Clean, tight binding. N° de réf. du vendeur 230524003
Quantité disponible : 1 disponible(s)
Image d'archives
Communicating and Mobile Systems: The Pi Calculus
Edité par
Cambridge University Press, 1999
ISBN 10 : 0521658691
ISBN 13 : 9780521658690
Ancien ou d'occasion
Couverture souple
Vendeur : SecondSale, Montgomery, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Acceptable. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc. N° de réf. du vendeur 00069242396
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Communicating and Mobile Systems: The Pi-Calculus
Edité par
Cambridge University Press, 1999
ISBN 10 : 0521658691
ISBN 13 : 9780521658690
Ancien ou d'occasion
Softcover: 15.2 x 1 x 22.9 cm
Vendeur : Roland Antiquariat UG haftungsbeschränkt, Weinheim, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Softcover: 15.2 x 1 x 22.9 cm. 176 p. Unread book. Very good condition. Minimum traces of storage. 9780521658690 Sprache: Englisch Gewicht in Gramm: 322. N° de réf. du vendeur 202776
Quantité disponible : 1 disponible(s)
Image d'archives
Communicating and Mobile Systems: The Pi-Calculus
Edité par
Cambridge University Press, 1999
ISBN 10 : 0521658691
ISBN 13 : 9780521658690
Ancien ou d'occasion
Paperback
Vendeur : WorldofBooks, Goring-By-Sea, WS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. N° de réf. du vendeur GOR005879113
Quantité disponible : 1 disponible(s)
Image d'archives
Communicating and Mobile Systems: The Pi-Calculus
Edité par
Cambridge University Press, 1999
ISBN 10 : 0521658691
ISBN 13 : 9780521658690
Neuf
Couverture souple
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Feb2416190011205
Quantité disponible : Plus de 20 disponibles
Image d'archives
Communicating and Mobile Systems
Edité par
Cambridge University Press 1999-05, 1999
ISBN 10 : 0521658691
ISBN 13 : 9780521658690
Neuf
PF
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9780521658690
Quantité disponible : 10 disponible(s)
Image d'archives
Communicating and Mobile Systems: The Pi-Calculus
Edité par
Cambridge University Press, 1999
ISBN 10 : 0521658691
ISBN 13 : 9780521658690
Neuf
Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9780521658690_new
Quantité disponible : Plus de 20 disponibles
Image d'archives
Communicating and Mobile Systems: The Pi Calculus
impression à la demandeVendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 174 pages. 9.00x6.00x0.25 inches. In Stock. This item is printed on demand. N° de réf. du vendeur __0521658691
Quantité disponible : 1 disponible(s)
Image d'archives
Communicating and Mobile Systems: The Pi Calculus (Paperback)
Edité par
Cambridge University Press, Cambridge, 1999
ISBN 10 : 0521658691
ISBN 13 : 9780521658690
Neuf
Paperback
Vendeur : Grand Eagle Retail, Fairfield, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : new. Paperback. 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. Communication is a fundamental and integral part of computing, whether between different computers on a network, or between components within a single computer. In this book Robin Milner introduces a new way of modelling communication that reflects its position. He treats computers and their programs as themselves built from communicating parts, rather than adding communication as an extra level of activity. Everything is introduced by means of examples, such as mobile phones, job schedualers, vending machines, data structures, and the objects of object-oriented programming. But the aim of the book is to develop a theory, the pi-calculus, in which these things can be treated rigorously. 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 welcome by them, and their students. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N° de réf. du vendeur 9780521658690
Quantité disponible : 1 disponible(s)