Concurrency, specification and programming: revised selected papers from the 29th international workshop on concurrency, specification and programming (cs&p'21), berlin, germany
Éditeur :
Springer International Publishing AG
ISBN :
9783031266539
Date de publication :
6 mai 2024
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book presents novel approaches to the formal specification of concurrent and parallel systems, mathematical models for describing such systems, and programming and verification concepts for their implementation.