Sistemi comunicanti e mobili: Il calcolo del Pi greco

Recensioni dei lettori

Il libro è un'introduzione concisa al pi-calculus, che presenta i concetti chiave e la teoria delle equivalenze comportamentali nei sistemi comunicanti. È ben strutturato e ideale per studenti e ricercatori di metodi formali. L'autore, Robin Milner, fornisce una chiara visione del funzionamento e dei fondamenti del pi-calculus, collegandolo efficacemente al CCS. Tuttavia, alcuni lettori ritengono che potrebbe essere più completo.

⬤ Ben scritto e conciso
⬤ eccellente panoramica del pi-calculus
⬤ forte collegamento con il CCS
⬤ utile per studenti e ricercatori
⬤ fornisce approfondimenti
⬤ una lettura obbligata per chi è interessato ai metodi formali per i sistemi comunicativi.

Alcuni lettori potrebbero ritenere che manchi di completezza; in particolare la brevità potrebbe scoraggiare alcuni dalla lettura.

(basato su 5 recensioni dei lettori)

Titolo originale:

Communicating and Mobile Systems: The Pi Calculus

Contenuto del libro:

La comunicazione è una parte fondamentale e integrante dell'informatica, sia tra diversi computer in rete, sia tra componenti di un singolo computer. In questo libro Robin Milner introduce un nuovo modo di modellare la comunicazione che ne riflette la posizione.

Tratta i computer e i loro programmi come se fossero essi stessi costruiti da parti comunicanti, piuttosto che aggiungere la comunicazione come un ulteriore livello di attività. Il tutto è introdotto da esempi, come i telefoni cellulari, gli schemi di lavoro, i distributori automatici, le strutture dati e gli oggetti della programmazione orientata agli oggetti. Ma lo scopo del libro è quello di sviluppare una teoria, il pi-calculus, in cui queste cose possano essere trattate in modo rigoroso.

Il pi-calculus si differenzia da altri modelli di comportamento comunicativo soprattutto per il trattamento della mobilità. Il movimento di un pezzo di dati all'interno di un programma per computer è trattato esattamente come il trasferimento di un messaggio - o di un intero programma per computer - attraverso Internet.

Si possono anche descrivere reti che si riconfigurano da sole. Il calcolo è molto semplice ma potente; il suo ingrediente più importante è la nozione di nome. La sua teoria ha due ingredienti importanti: il concetto di equivalenza comportamentale (o osservativa) e l'uso di una nuova teoria dei tipi per classificare i modelli di comportamento interattivo.

Internet e i suoi protocolli di comunicazione rientrano nell'ambito della teoria tanto quanto i programmi per computer, le strutture dati, gli algoritmi e i linguaggi di programmazione. Questo libro è il primo testo sull'argomento; era atteso da tempo dai professionisti e sarà ben accetto da loro e dai loro studenti.