Communicating and Mobile Systems : Le calcul pi Van Robin Milner est un livre d’étude anglophone qui s’adresse à la théorie de la communication et des systèmes mobiles. Cet ouvrage est destiné aux étudiants de l’enseignement supérieur et aux professionnels qui s’intéressent aux réseaux informatiques et aux modèles de communication.
Le calcul pi se distingue par le traitement de la mobilité au sein des systèmes de communication. Ici, le déplacement des données dans un programme est assimilé à l’envoi de messages ou de programmes entiers via Internet. Cela permet de modéliser des réseaux dynamiques, auto-configurables.
Le livre aborde les concepts clés de l’équivalence comportementale et une nouvelle théorie des types, qui forment ensemble la base pour comprendre les systèmes interactifs. La théorie couvre non seulement Internet et les protocoles de communication, mais aussi les algorithmes, les langages de programmation et les structures de données.
Ce manuel d’étude fournit la première introduction approfondie au calcul pi et constitue donc un ouvrage de référence indispensable pour toute personne s’intéressant à communicating and mobile systems.
Les sujets pertinents comprennent notamment les réseaux informatiques, la communication et l’informatique théorique.