Bialgebraic Modelling of Timed Processes. - Marco Kick (ICALP, 2002)

Rule Formats for Timed Processes. - Marco Kick (Categorical Methods for Concurrency, Interaction, and Mobility @ CONCUR, 2002)

Modularity of Behaviours for Mathematical Operational Semantics. - Marco Kick; A. John Power (CMCS, 2004)

Coalgebraic semantics for timed processes. - Marco Kick; John Power; Alex Simpson (Inf. Comput., 2006)