Coalgebraic semantics for timed processes (2006)
Marco Kick, John Power, Alex Simpson
We give a coalgebraic formulation of timed processes and their operational semantics. We model time by a monoid called a “time domain”, and we model processes by “timed transition systems”,...