4 works on record
Automata, Languages and Programming (vol. # 3580)
Programming Languages and Systems
Formal Techniques for Distributed Objects, Components, and Systems
CONCUR 2007 - Concurrency Theory