Avis des lecteurs
Résumé:Ce livre est une introduction concise au pi-calcul, présentant les concepts clés et la théorie des équivalences comportementales dans les systèmes communicants. Il est bien structuré et idéal pour les étudiants et les chercheurs en méthodes formelles. L'auteur, Robin Milner, donne un aperçu clair du fonctionnement et des fondements du pi-calcul, en le reliant efficacement au CCS. Cependant, certains lecteurs estiment qu'il pourrait être plus complet.
Avantages:⬤ Bien écrit et concis
⬤ excellente vue d'ensemble du pi-calcul
⬤ lien étroit avec CCS
⬤ utile pour les étudiants et les chercheurs
⬤ fournit des informations approfondies
⬤ à lire absolument pour ceux qui s'intéressent aux méthodes formelles pour les systèmes communicants.
Certains lecteurs pourraient penser qu'il manque d'exhaustivité ; il est particulièrement court, ce qui pourrait décourager certains de le lire.
(basé sur 5 avis de lecteurs)
Titre original :
Communicating and Mobile Systems: The Pi Calculus
Contenu du livre :
La communication est une partie fondamentale et intégrante de l'informatique, que ce soit entre différents ordinateurs d'un réseau ou entre les composants d'un même ordinateur. Dans cet ouvrage, Robin Milner présente une nouvelle façon de modéliser la communication qui reflète sa position.
Il traite les ordinateurs et leurs programmes comme étant eux-mêmes construits à partir de parties communicantes, plutôt que d'ajouter la communication comme un niveau d'activité supplémentaire. Tout est présenté à l'aide d'exemples, tels que les téléphones mobiles, les planificateurs de tâches, les distributeurs automatiques, les structures de données et les objets de la programmation orientée objet. Mais le but du livre est de développer une théorie, le pi-calcul, dans laquelle ces choses peuvent être traitées rigoureusement.
Le pi-calcul diffère des autres modèles de comportement communicant principalement par son traitement de la mobilité. Le déplacement d'un morceau de données à l'intérieur d'un programme informatique est traité exactement de la même manière que le transfert d'un message - ou même d'un programme informatique entier - à travers l'internet.
On peut également décrire des réseaux qui se reconfigurent eux-mêmes. Le calcul est très simple mais puissant ; son ingrédient le plus important est la notion de nom. Sa théorie comporte deux ingrédients importants : le concept d'équivalence comportementale (ou observationnelle) et l'utilisation d'une nouvelle théorie des types pour classer les modèles de comportement interactif.
L'internet et ses protocoles de communication relèvent de la théorie au même titre que les programmes informatiques, les structures de données, les algorithmes et les langages de programmation. Ce livre est le premier manuel sur le sujet ; il était attendu depuis longtemps par les professionnels et sera bien accueilli par eux, ainsi que par leurs étudiants.
Autres informations sur le livre :
| ISBN : | 9780521658690 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Broché |
| Année de publication : | 1999 |
| Nombre de pages : | 174 |
Achat:
Actuellement disponible, en stock.
