4 works on record
From Reactive Systems to Cyber-Physical Systems
The concurrency workbench
Priority in process algebras
A logical process calculus