Marco Kick

Rule Formats for Timed Processes

Marco Kick, 2002, Electron. Notes Theor. Comput. Sci..

Bialgebraic Modelling of Timed Processes

Marco Kick, Marco Kick, 2002, ICALP.

Modularity of Behaviours for Mathematical Operational Semantics

John Power, Marco Kick, 2004, CMCS.

Coalgebraic semantics for timed processes

John Power, Alex K. Simpson, Marco Kick, 2006, Inf. Comput..