"Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)" - читать интересную книгу автора (Dennis Dams, Ulrich Hannemann, Martin Steffen)