Komunikační a mobilní systémy: Výpočet Pí

Recenze čtenářů

Kniha je dobře hodnoceným úvodem do pi-kalkulu a jeho aplikací při modelování komunikujících systémů. Obsahuje důkladné vysvětlení klíčových pojmů a je oceňována pro svou stručnost a přehlednost, takže je vhodná jak pro studenty, tak pro vědecké pracovníky. Některé čtenáře však může její stručnost omezovat, pokud hledají rozsáhlejší pokrytí tématu.

⬤ Dobře napsané a stručné
⬤ poskytuje solidní úvod do pi-kalkulu
⬤ silná vazba mezi CCS a pi-kalkulem
⬤ vhodné pro studenty i výzkumníky
⬤ nabízí vhled do teorie behaviorální ekvivalence
⬤ ideální pro ty, kdo začínají s distribuovanými systémy.

Poněkud stručné, což nemusí uspokojit čtenáře, kteří hledají komplexnější zpracování tématu; omezená délka nemusí umožnit hloubkové zkoumání pro pokročilé čtenáře.

(na základě 5 hodnocení čtenářů)

Původní název:

Communicating and Mobile Systems: The Pi Calculus

Obsah knihy:

Komunikace je základní a nedílnou součástí výpočetní techniky, ať už mezi různými počítači v síti, nebo mezi komponentami v rámci jednoho počítače. V této knize Robin Milner představuje nový způsob modelování komunikace, který odráží její postavení.

K počítačům a jejich programům přistupuje tak, že jsou samy o sobě sestaveny z komunikujících částí, a nepřidává k nim komunikaci jako další úroveň činnosti. Vše je představeno na příkladech, jako jsou mobilní telefony, plánovače úloh, prodejní automaty, datové struktury a objekty objektově orientovaného programování. Cílem knihy je však vytvořit teorii, pí-kalkul, v níž lze tyto věci důsledně zpracovat.

Pí-kalkul se od jiných modelů komunikačního chování liší především v zacházení s mobilitou. Pohyb kusu dat uvnitř počítačového programu je řešen úplně stejně jako přenos zprávy - nebo dokonce celého počítačového programu - po internetu.

Lze také popsat sítě, které se samy rekonfigurují. Tento výpočet je velmi jednoduchý, ale mocný; jeho nejvýznamnější složkou je pojem jména. Jeho teorie má dvě důležité složky: pojem behaviorální (nebo pozorovací) ekvivalence a použití nové teorie typů pro klasifikaci vzorců interaktivního chování.

Internet a jeho komunikační protokoly spadají do oblasti působnosti této teorie stejně jako počítačové programy, datové struktury, algoritmy a programovací jazyky. Tato kniha je první učebnicí na toto téma; odborníci ji dlouho očekávali a uvítají ji i jejich studenti.