Articles liés à Communicating and Mobile Systems: The Pi-Calculus
Synopsis
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.
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.
Acheter neuf
Afficher cet article
EUR 53,45
EUR 10,95 expédition depuis Royaume-Uni vers France
Destinations, frais et délais
Résultats de recherche pour Communicating and Mobile Systems: The Pi-Calculus
Image d'archives
Communicating and Mobile Systems
Edité par
Cambridge University Press, 1999
ISBN 10 : 0521658691
ISBN 13 : 9780521658690
Ancien ou d'occasion
Paperback
Vendeur : ThriftBooks-Atlanta, AUSTELL, GA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 0.55. N° de réf. du vendeur G0521658691I3N00
Quantité disponible : 1 disponible(s)
Image d'archives
Communicating and Mobile Systems
Edité par
Cambridge University Press, 1999
ISBN 10 : 0521658691
ISBN 13 : 9780521658690
Ancien ou d'occasion
Paperback
Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 0.55. N° de réf. du vendeur G0521658691I4N00
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
Couverture souple
Vendeur : WeBuyBooks, Rossendale, LANCS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Very Good. Most items will be dispatched the same or the next working day. A copy that 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 wbs6949189000
Quantité disponible : 1 disponible(s)
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 4 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
Paperback / softback
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback / softback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 300. N° de réf. du vendeur C9780521658690
Quantité disponible : Plus de 20 disponibles
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
Edité par
Cambridge University Press, 1999
ISBN 10 : 0521658691
ISBN 13 : 9780521658690
Neuf
Couverture souple
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9780521658690
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Communicating and Mobile Systems
Edité par
Cambridge University Press, GB, 1999
ISBN 10 : 0521658691
ISBN 13 : 9780521658690
Neuf
Paperback
Vendeur : Rarewaves.com UK, London, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Paperback. Etat : New. 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. N° de réf. du vendeur LU-9780521658690
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Communicating and Mobile Systems
Edité par
Cambridge University Press, 2019
ISBN 10 : 0521658691
ISBN 13 : 9780521658690
Neuf
Kartoniert / Broschiert
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Kartoniert / Broschiert. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Robin Milner introduces a new way of modelling communication that reflects its central position in computing. Everything is introduced by means of examples but the aim of the book is to develop the -calculus, a theory whose scope includes the internet just. N° de réf. du vendeur 446944046
Quantité disponible : Plus de 20 disponibles