Komunikačné a mobilné systémy: Kalkulácia s číslom Pi

Recenzie čitateľov

Kniha je dobre prijatým úvodom do pi-kalkulu a jeho aplikácií pri modelovaní komunikačných systémov. Obsahuje dôkladné vysvetlenia kľúčových pojmov a je chválená za stručnosť a prehľadnosť, vďaka čomu je vhodná pre študentov aj výskumníkov. Niektorí čitatelia však môžu považovať jej stručnosť za obmedzujúcu, ak hľadajú rozsiahlejšie pokrytie témy.

⬤ Dobre napísaný a stručný
⬤ poskytuje solídny úvod do pi-kalkúlu
⬤ silné prepojenie medzi CCS a pi-kalkúlom
⬤ vhodný pre študentov a výskumníkov
⬤ ponúka pohľad do teórie behaviorálnej ekvivalencie
⬤ ideálny pre tých, ktorí začínajú v oblasti distribuovaných systémov.

Trochu stručné, čo nemusí uspokojiť čitateľov, ktorí hľadajú komplexnejšie spracovanie témy; obmedzená dĺžka nemusí poskytnúť hĺbkový prieskum pre pokročilých čitateľov.

(na základe 5 čitateľských recenzií)

Pôvodný názov:

Communicating and Mobile Systems: The Pi Calculus

Obsah knihy:

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.