6 works on record
Interactive computation
Introduction to operating system design and implementation
Handbook of process algebra
Runtime Verification
Concur '95 - Concurrency Theory
OSP
