Kommunikációs és mobil rendszerek: A pí-számítás

Olvasói vélemények

A könyv a pi-számítás és a kommunikációs rendszerek modellezésében való alkalmazásának jól ismert bevezetése. Alapos magyarázatot tartalmaz a kulcsfogalmakra, és dicsérik, hogy tömör és jól strukturált, így a hallgatók és kutatók számára egyaránt alkalmas. Néhány olvasó azonban korlátozhatja a rövidségét, ha a téma szélesebb körű lefedettségére törekszik.

⬤ Jól megírt és tömör
⬤ szilárd bevezetést nyújt a pi-kalkulusba
⬤ erős kapcsolat a CCS és a pi-kalkulus között
⬤ alkalmas hallgatók és kutatók számára
⬤ betekintést nyújt a viselkedési ekvivalencia elméletébe
⬤ ideális az elosztott rendszerekkel kezdők számára.

Kissé rövid, ami nem biztos, hogy kielégíti a téma átfogóbb feldolgozását kereső olvasókat; a korlátozott terjedelem nem biztos, hogy mélyreható feltárást nyújt a haladó olvasók számára.

(5 olvasói vélemény alapján)

Eredeti címe:

Communicating and Mobile Systems: The Pi Calculus

Könyv tartalma:

A kommunikáció a számítástechnika alapvető és szerves része, akár egy hálózat különböző számítógépei között, akár egy számítógépen belüli komponensek között. Ebben a könyvben Robin Milner a kommunikáció modellezésének egy új módját mutatja be, amely tükrözi a kommunikáció helyzetét.

A számítógépeket és programjaikat úgy kezeli, mint amelyek maguk is kommunikáló részekből épülnek fel, ahelyett, hogy a kommunikációt a tevékenység egy további szintjeként adná hozzá. Mindezt olyan példákon keresztül mutatja be, mint a mobiltelefonok, a munkarendek, az automaták, az adatstruktúrák és az objektumorientált programozás objektumai. A könyv célja azonban egy olyan elmélet, a pi-kalkulus kidolgozása, amelyben ezeket a dolgokat szigorúan lehet kezelni.

A pi-kalkulus elsősorban a mobilitás kezelésében különbözik a kommunikáló viselkedés más modelljeitől. Egy adatdarab mozgását egy számítógépes programon belül pontosan ugyanúgy kezeli, mint egy üzenet - vagy akár egy egész számítógépes program - átvitelét az interneten.

Olyan hálózatokat is le lehet írni, amelyek átkonfigurálják magukat. A számítás nagyon egyszerű, de nagy teljesítményű; legjelentősebb összetevője a név fogalma. Elméletének két fontos összetevője van: a viselkedési (vagy megfigyelési) egyenértékűség fogalma, és egy új típuselmélet használata az interaktív viselkedésminták osztályozására.

Az internet és a kommunikációs protokollok éppúgy az elmélet hatálya alá tartoznak, mint a számítógépes programok, adatstruktúrák, algoritmusok és programozási nyelvek. Ez a könyv az első tankönyv a témában; a szakemberek már régóta várták, és örömmel fogadják majd ők maguk és tanítványaik.