Sisteme de comunicație și mobile: Calculul Pi

Recenzii ale cititorilor

Cartea este o introducere bine primită la pi-calculus și la aplicațiile sale în modelarea sistemelor de comunicare. Cartea include explicații detaliate ale conceptelor cheie și este lăudată pentru faptul că este concisă și bine structurată, ceea ce o face potrivită atât pentru studenți, cât și pentru cercetători. Cu toate acestea, unii cititori pot găsi concizia sa limitatoare dacă caută o acoperire mai extinsă a subiectului.

⬤ Bine scrisă și concisă
⬤ oferă o introducere solidă în pi-calculus
⬤ conexiune puternică între CCS și pi-calculus
⬤ potrivită pentru studenți și cercetători
⬤ oferă o perspectivă asupra teoriei echivalenței comportamentale
⬤ ideală pentru cei care încep în sistemele distribuite.

Oarecum succintă, ceea ce poate să nu satisfacă cititorii care caută o tratare mai cuprinzătoare a subiectului; lungimea limitată poate să nu ofere o explorare aprofundată pentru cititorii avansați.

(pe baza a 5 recenzii ale cititorilor)

Titlul original:

Communicating and Mobile Systems: The Pi Calculus

Conținutul cărții:

Comunicarea este o parte fundamentală și integrală a informaticii, fie între diferite calculatoare dintr-o rețea, fie între componentele unui singur calculator. În această carte, Robin Milner introduce un nou mod de modelare a comunicării care reflectă poziția acesteia.

El tratează calculatoarele și programele lor ca fiind ele însele construite din părți care comunică, mai degrabă decât să adauge comunicarea ca un nivel suplimentar de activitate. Totul este prezentat prin intermediul unor exemple, cum ar fi telefoanele mobile, programele de lucru, distribuitoarele automate, structurile de date și obiectele programării orientate pe obiecte. Dar scopul cărții este de a dezvolta o teorie, pi-calculul, în care aceste lucruri pot fi tratate riguros.

Calculul pi diferă de alte modele de comportament comunicativ în principal prin modul în care tratează mobilitatea. Mișcarea unui fragment de date în interiorul unui program de calculator este tratată exact la fel ca transferul unui mesaj - sau chiar al unui întreg program de calculator - prin internet.

De asemenea, se pot descrie rețele care se reconfigurează. Calculul este foarte simplu, dar puternic; ingredientul său cel mai important este noțiunea de nume. Teoria sa are două ingrediente importante: conceptul de echivalență comportamentală (sau observațională) și utilizarea unei noi teorii a tipurilor pentru a clasifica modelele de comportament interactiv.

Internetul și protocoalele sale de comunicare intră în domeniul de aplicare al teoriei la fel de mult ca programele de calculator, structurile de date, algoritmii și limbajele de programare. Această carte este primul manual pe această temă; a fost mult așteptată de profesioniști și va fi bine primită de aceștia, dar și de studenții lor.