Avis des lecteurs
Résumé:Ce livre est une introduction bien accueillie au pi-calcul et à ses applications dans la modélisation des systèmes communicants. Il comprend des explications approfondies des concepts clés et est loué pour sa concision et sa bonne structure, ce qui le rend adapté aux étudiants et aux chercheurs. Cependant, certains lecteurs peuvent trouver sa brièveté contraignante s'ils recherchent une couverture plus complète du sujet.
Avantages:⬤ Bien écrit et concis
⬤ fournit une solide introduction au pi-calcul
⬤ lien fort entre CCS et pi-calcul
⬤ convient aux étudiants et aux chercheurs
⬤ offre un aperçu de la théorie de l'équivalence comportementale
⬤ idéal pour ceux qui débutent dans les systèmes distribués.
Un peu court, ce qui peut ne pas satisfaire les lecteurs à la recherche d'un traitement plus complet du sujet ; la longueur limitée peut ne pas permettre une exploration en profondeur pour les lecteurs avancés.
(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 : | 9780521643207 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Relié |
| Année de publication : | 1999 |
| Nombre de pages : | 176 |
Achat:
Actuellement disponible, en stock.
