Concurrency, Specification and Programming: Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany
9783031266515, 9783031266508, 303126651X
This book presents novel approaches to the formal specification of concurrent and parallel systems, mathematical models