An operational semantics for timed CSP (1995)

by S Schneider
Venue:Inf. & Comp