7 works on record
A Decade of concurrency
Stepwise refinement of distributed systems
Current Trends in Concurrency
Semantics
Foundations of object-oriented languages
Real-time, theory in practice
Formal Techniques in Real-Time and Fault-Tolerant Systems