4 works on record
Specification and Analysis of Concurrent Systems
Application and Theory of Petri Nets and Concurrency
Paradigms of Concurrency
Results of the theory of vectors of coroutines