Coalgebraic semantics for timed processes

Marco Kick, John Power, Alex Simpson. Coalgebraic semantics for timed processes. Inf. Comput., 204(4):588-609, 2006. [doi]

Abstract

Abstract is missing.