Ocena:
Książka jest dobrze przyjętym wprowadzeniem do rachunku pi i jego zastosowań w modelowaniu systemów komunikacyjnych. Zawiera dokładne wyjaśnienia kluczowych pojęć i jest chwalona za zwięzłość i dobrą strukturę, dzięki czemu jest odpowiednia zarówno dla studentów, jak i naukowców. Jednak niektórzy czytelnicy mogą uznać jej zwięzłość za ograniczającą, jeśli szukają szerszego omówienia tematu.
Zalety:⬤ Dobrze napisana i zwięzła
⬤ zapewnia solidne wprowadzenie do pi-calculus
⬤ silny związek między CCS i pi-calculus
⬤ odpowiednia dla studentów i badaczy
⬤ oferuje wgląd w teorię równoważności behawioralnej
⬤ idealna dla osób rozpoczynających pracę z systemami rozproszonymi.
Nieco zwięzły, co może nie zadowolić czytelników poszukujących bardziej kompleksowego podejścia do tematu; ograniczona długość może nie zapewnić dogłębnej eksploracji zaawansowanym czytelnikom.
(na podstawie 5 opinii czytelników)
Communicating and Mobile Systems: The Pi Calculus
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.
