Communicating and mobile systems - Robin Milner - Librairie Eyrolles
Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
Communicating and mobile systems
Ajouter à une liste

Librairie Eyrolles - Paris 5e
Indisponible

Communicating and mobile systems

Communicating and mobile systems

The pi calculus

Robin Milner

172 pages, parution le 20/05/1999

Résumé

Robin Milner introduces a new way of modelling communication that reflects its central position in computing. Everything is introduced by
means of examples, such as mobile phones, job schedulers or vending machines, but the aim of the book is to develop a theory, the calculus,
in which these things can be treated rigorously. The Internet falls within its scope just as much as computer programs, data structures,
algorithms and programming languages. This book is the long-awaited first exposition of the subject and will be welcomed by professionals,
and their students.

Table of contents :
Glossary
Part I: Communicating Systems
Chapter 1:
Introduction
Chapter 2:
Behaviour of automata
Chapter 3: Sequential processes and bisimulation
Chapter 4: Concurrent
processes and reaction
Chapter 5: Transitions and strong equivalence
Chapter 6: Observation
equivalence: theory
Chapter 7: Observation equivalence: examples

Part II: The
pi-calculus

Chapter 8: What is mobility?
Chapter 9: The p-calculus and reaction
Chapter 10:
Applications of the pi-calculus
Chapter 11: Sorts, objects and functions
Chapter 12:
Commitments and strong bisimulation
Chapter 13: Observation equivalence and examples
Chapter 14: Discussion and related work
Bibliography
Index

Caractéristiques techniques

  PAPIER
Éditeur(s) Cambridge University Press
Auteur(s) Robin Milner
Parution 20/05/1999
Nb. de pages 172
Format 15,3 x 22,7
EAN13 9780521658690

Avantages Eyrolles.com

Livraison à partir de 0,01 en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925
Recevez nos newsletters
Vous serez régulièrement informé(e) de toutes nos actualités.
Inscription