Process Algebra with Timing: Real Time and Discrete Time (2001)

by J Baeten, C Middelburg
Venue:In Handbook of Process Algebra, chapter 10