4 works on record
CONCUR 2002-concurrency theory
Mathematical Foundations of Computer Science, 1998
CONCUR 2002 - Concurrency Theory
Formal Methods : Applications and Technology