Résumé
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
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse