Hodnotenie:
Kniha je stručným úvodom do pi-kalkulu, predstavuje kľúčové pojmy a teóriu behaviorálnych ekvivalentov v komunikujúcich systémoch. Je dobre štruktúrovaná a ideálna pre študentov a výskumníkov v oblasti formálnych metód. Autor Robin Milner poskytuje jasný pohľad na fungovanie a základy pi-kalkulu a efektívne ho prepája s CCS. Niektorí čitatelia však majú pocit, že by mohla byť obsiahlejšia.
Výhody:⬤ Dobre napísané a stručné
⬤ výborný prehľad pi-kalkulu
⬤ silné prepojenie s CCS
⬤ užitočné pre študentov a výskumníkov
⬤ poskytuje hlboký pohľad
⬤ povinné čítanie pre tých, ktorí sa zaujímajú o formálne metódy pre komunikačné systémy.
Niektorí čitatelia môžu mať pocit, že jej chýba komplexnosť; najmä je krátka, čo by mohlo niektorých odradiť od čítania.
(na základe 5 čitateľských recenzií)
Communicating and Mobile Systems: The Pi Calculus
Komunikácia je základnou a neoddeliteľnou súčasťou výpočtovej techniky, či už medzi rôznymi počítačmi v sieti, alebo medzi komponentmi v rámci jedného počítača. V tejto knihe Robin Milner predstavuje nový spôsob modelovania komunikácie, ktorý odráža jej postavenie.
K počítačom a ich programom pristupuje ako k súčiastkam, ktoré sú samy o sebe vytvorené z komunikujúcich častí, a nepridáva komunikáciu ako ďalšiu úroveň činnosti. Všetko predstavuje na príkladoch, ako sú mobilné telefóny, plánovače úloh, predajné automaty, dátové štruktúry a objekty objektovo orientovaného programovania. Cieľom knihy je však vytvoriť teóriu, pi-kalkul, v ktorej sa tieto veci dajú striktne spracovať.
Pí-kalkul sa od iných modelov komunikačného správania líši najmä v zaobchádzaní s mobilitou. Pohyb časti údajov v rámci počítačového programu sa považuje za úplne rovnaký ako prenos správy - alebo dokonca celého počítačového programu - cez internet.
Takisto sa dajú opísať siete, ktoré sa rekonfigurujú. Tento výpočet je veľmi jednoduchý, ale výkonný; jeho najvýznamnejšou zložkou je pojem mena. Jeho teória má dve dôležité zložky: pojem behaviorálnej (alebo pozorovateľskej) ekvivalencie a použitie novej teórie typov na klasifikáciu vzorov interaktívneho správania.
Internet a jeho komunikačné protokoly patria do rozsahu tejto teórie rovnako ako počítačové programy, dátové štruktúry, algoritmy a programovacie jazyky. Táto kniha je prvou učebnicou na túto tému; odborníci ju dlho očakávali a uvítajú ju aj oni, aj ich študenti.
