1
by Schreiner, Wolfgang
Published 2021
Springer International Publishing
Table of Contents: ... -- Computer Programs -- Concurrent Systems -- References -- Index...

2
Published 2001
Springer Berlin Heidelberg
... workshops on \Synthesis of Concurrent Systems" and \Concurrency in Dependable Computing". The tu- rial notes...