Introduction to Concurrency Theory de Roberto Gorrieri

Adresat studenților avansați și cercetătorilor în informatică, Introduction to Concurrency Theory oferă o fundamentare riguroasă a mecanismelor prin care procesele computaționale interacționează simultan. Putem afirma că rigoarea este pilonul central al acestei lucrări, autorii Roberto Gorrieri și Cristian Versari alegând să construiască întregul eșafodaj teoretic pornind de la structurile semantice de bază: sistemele de tranziție etichetate (LTS). Acestea servesc drept instrumente esențiale pentru a exprima, compune și verifica proprietățile sistemelor complexe.

Notăm cu interes modul în care autorii utilizează variate versiuni ale calculului sistemelor comunicante (CCS), propus inițial de Robin Milner, pentru a investiga puterea de expresie a modelelor și noțiunile de egalitate între sisteme. Pe linia practică a volumului Understanding Concurrent Systems de A.W. Roscoe, dar cu focus pe formalismul algebric și axiomatizare, această lucrare ghidează cititorul de la rezultate elementare către nuanțe teoretice subtile. Structura este una progresivă, începând cu sistemele de tranziție și echivalențele comportamentale, continuând cu legile algebrice și congruențele, și culminând cu studiul operatorilor adiționali și al Multi-CCS.

Această abordare completează opera anterioară a lui Roberto Gorrieri, care în Syntax and Semantics of Petri Nets și Process Algebras for Petri Nets a explorat modelele distribuite. Dacă în lucrările menționate accentul cădea pe alfabetizarea claselor de sisteme distribuite, volumul de față rafinează limbajul necesar pentru modelarea interacțiunii. Includerea unui glosar detaliat și a numeroaselor exerciții transformă textul dintr-o simplă expunere teoretică într-un instrument de lucru indispensabil pentru înțelegerea subtilităților concurenței.