Coalgebraic semantics for timed processes (0)

by M Kick, J Power, A Simpson
Venue:Information and Computation