Marco Kick

Publication Activity (10 Years)

Years Active: 2002-2006
Publications (10 Years): 0

Publications

Marco Kick, John Power, Alex Simpson
Coalgebraic semantics for timed processes. Inf. Comput. 204 (4) (2006)
Marco Kick, A. John Power
Modularity of Behaviours for Mathematical Operational Semantics. CMCS (2004)
Marco Kick
Rule Formats for Timed Processes. Electron. Notes Theor. Comput. Sci. 68 (1) (2002)
Marco Kick
Bialgebraic Modelling of Timed Processes. ICALP (2002)