Systemy komunikacyjne i mobilne: Rachunek Pi

Opinie czytelników

Książka jest zwięzłym wprowadzeniem do pi-kalkulusa, prezentującym kluczowe pojęcia i teorię równoważności behawioralnej w systemach komunikacyjnych. Jest dobrze skonstruowana i idealna dla studentów i badaczy metod formalnych. Autor, Robin Milner, zapewnia jasny wgląd w działanie i podstawy pi-kalkulusa, skutecznie łącząc go z CCS. Niektórzy czytelnicy uważają jednak, że książka mogłaby być bardziej kompleksowa.

⬤ Dobrze napisana i zwięzła
⬤ doskonały przegląd pi-calculus
⬤ silne powiązanie z CCS
⬤ przydatna dla studentów i badaczy
⬤ zapewnia głęboki wgląd
⬤ obowiązkowa lektura dla osób zainteresowanych formalnymi metodami komunikacji systemów.

Niektórzy czytelnicy mogą czuć, że brakuje jej kompleksowości; szczególnie krótka, co może zniechęcić niektórych do jej przeczytania.

(na podstawie 5 opinii czytelników)

Oryginalny tytuł:

Communicating and Mobile Systems: The Pi Calculus

Zawartość książki:

Komunikacja jest fundamentalną i integralną częścią informatyki, zarówno między różnymi komputerami w sieci, jak i między komponentami w ramach jednego komputera. W tej książce Robin Milner wprowadza nowy sposób modelowania komunikacji, który odzwierciedla jej pozycję.

Traktuje komputery i ich programy jako zbudowane z komunikujących się części, zamiast dodawać komunikację jako dodatkowy poziom aktywności. Wszystko jest wprowadzane za pomocą przykładów, takich jak telefony komórkowe, harmonogramy zadań, automaty sprzedające, struktury danych i obiekty programowania obiektowego. Celem książki jest jednak opracowanie teorii, pi-kalkulusa, w którym te rzeczy mogą być traktowane rygorystycznie.

Pi-calculus różni się od innych modeli zachowań komunikacyjnych głównie sposobem traktowania mobilności. Ruch fragmentu danych wewnątrz programu komputerowego jest traktowany dokładnie tak samo, jak transfer wiadomości - lub nawet całego programu komputerowego - przez Internet.

Można również opisać sieci, które same się rekonfigurują. Rachunek jest bardzo prosty, ale potężny; jego najważniejszym składnikiem jest pojęcie nazwy. Jego teoria ma dwa ważne składniki: koncepcję równoważności behawioralnej (lub obserwacyjnej) oraz wykorzystanie nowej teorii typów do klasyfikowania wzorców zachowań interaktywnych.

Internet i jego protokoły komunikacyjne wchodzą w zakres teorii tak samo jak programy komputerowe, struktury danych, algorytmy i języki programowania. Ta książka jest pierwszym podręcznikiem na ten temat; była długo oczekiwana przez profesjonalistów i będzie mile widziana przez nich i ich studentów.