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

Olvasói vélemények

A könyv tömör bevezetés a pi-számításba, bemutatva a kommunikáló rendszerek viselkedési ekvivalenciáinak kulcsfogalmait és elméletét. Jól strukturált, és ideális a formális módszerekkel foglalkozó hallgatók és kutatók számára. A szerző, Robin Milner világos betekintést nyújt a pi-kalkulus működésébe és alapjaiba, hatékonyan összekapcsolva azt a CCS-szel. Néhány olvasó azonban úgy érzi, hogy lehetne átfogóbb.

⬤ Jól megírt és tömör
⬤ kiváló áttekintés a pi-kalkulusról
⬤ erős kapcsolódás a CCS-hez
⬤ hasznos hallgatók és kutatók számára
⬤ mély betekintést nyújt
⬤ kötelező olvasmány a kommunikáló rendszerek formális módszerei iránt érdeklődőknek.

Néhány olvasó úgy érezheti, hogy hiányzik belőle a teljesség; feltűnően rövid, ami egyeseket eltántoríthat az olvasástól.

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