CONCUR 2011 -- Concurrency Theory: 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings: Lecture Notes in Computer Science, cartea 6901

Abordarea practică a acestui volum rezidă în echilibrul dintre rigoarea matematică a sistemelor concurente și aplicabilitatea lor în verificarea software-ului modern. Descoperim aici o selecție de 32 de lucrări care transpun concepte teoretice abstracte, precum calculul pi sau logica de separare, în soluții pentru modelarea sistemelor în timp real și a celor probabilistice. Reținem că fiecare studiu a trecut printr-un proces riguros de peer-review, asigurând o densitate mare de informație tehnică utilă cercetătorilor care dezvoltă algoritmi de verificare și jocuri strategice în context computerizat. Pe linia practică a volumului CONCUR '92, coordonat de Walter R. Cleaveland, această ediție păstrează standardul înalt al seriei Lecture Notes in Computer Science, dar cu focus pe evoluțiile recente în automatizarea verificării și complexitatea sistemelor distribuite contemporane. Editura Springer Berlin, Heidelberg propune astfel o structură organizată tematic, facilitând navigarea prin subiecte complexe precum rețelele Petri sau bisimularea, elemente esențiale pentru stabilitatea infrastructurilor IT critice.