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

180 101 21MB

English Pages 234 Year 2023

Report DMCA / Copyright

DOWNLOAD EPUB 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

  • 0 0 0
  • Like this paper and download? You can publish your own PDF file online for free in a few minutes! Sign Up
Recommend Papers