Sistemi comunicanti e mobili: Il calcolo del Pi greco

Recensioni dei lettori

Il libro è un'apprezzata introduzione al pi-calculus e alle sue applicazioni nella modellazione dei sistemi comunicanti. Include spiegazioni approfondite dei concetti chiave ed è apprezzato per essere conciso e ben strutturato, rendendolo adatto sia agli studenti che ai ricercatori. Tuttavia, alcuni lettori potrebbero trovare la sua brevità limitante se cercano una copertura più ampia dell'argomento.

⬤ Ben scritto e conciso
⬤ fornisce una solida introduzione al pi-calculus
⬤ forte connessione tra CCS e pi-calculus
⬤ adatto a studenti e ricercatori
⬤ offre approfondimenti sulla teoria dell'equivalenza comportamentale
⬤ ideale per chi inizia a lavorare sui sistemi distribuiti.

Un po' breve, il che potrebbe non soddisfare i lettori che cercano una trattazione più completa dell'argomento; la lunghezza limitata potrebbe non fornire un'esplorazione approfondita ai lettori avanzati.

(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.