1
Published 2013
Springer Berlin Heidelberg
... and related models of concurrent systems are addressed...

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