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

168 95 21MB

English Pages 234 Year 2023

Report DMCA / Copyright

DOWNLOAD FILE

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

Polecaj historie