Coalgebraic semantics for timed processes (2006)

by Marco Kick, John Power, Alex Simpson
Venue:Inf. & Comp