The pi-calculus
A theory of mobile processes
Davide Sangiorgi, David Walker
580 pages, parution le 01/07/2001
Résumé
The theory of mobile systems, which describes exchanges of
information within or between interacting computing
systems, has been greatly advanced by the invention of the
pi-calculus, a conceptual mathematical model highly suited
to describing such transfer processes. This detailed,
graduate-level text on the pi-calculus begins with a clear
statement of the basic ideas of monadic pi-calculus. It
then develops the polyadic calculus and treats types, the
process-passing paradigm, the relationship with
lambda-calculus, and methods for representing objects as
processes, including applications to the semantics of
object-oriented programming languages. Much of the material
here is presented in book form for the first time.
Contents
- Foreword
- Preface
- General Introduction
- The Pi-Calclus
- Variations of the Pi-Calculus
- Typed Pi-Calculi
- Reasoning about processes using types
- The higher-order paradigm
- Function as processes
- Objects and Pi-calculus
- Notes and references for the last part
- List of tables
- List of Notations
- Bibliography
- Index
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Cambridge University Press |
| Auteur(s) | Davide Sangiorgi, David Walker |
| Parution | 01/07/2001 |
| Nb. de pages | 580 |
| Format | 18 x 25 |
| Couverture | Relié |
| Poids | 1395g |
| Intérieur | Noir et Blanc |
| EAN13 | 9780521781770 |
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
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
