1
Published 1995
Springer London
... and accepted for presentation. Concurrency Theory deals with formal aspects of concurrent systems. It uses...

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

3
Published 2016
Springer Berlin Heidelberg
... overview of ongoing research on concurrent systems and Petri nets...