| |
| 2006 | ||
|---|---|---|
| 4 | EE | Marco Kick, John Power, Alex Simpson: Coalgebraic semantics for timed processes. Inf. Comput. 204(4): 588-609 (2006) |
| 2004 | ||
| 3 | EE | Marco Kick, A. John Power: Modularity of Behaviours for Mathematical Operational Semantics. Electr. Notes Theor. Comput. Sci. 106: 185-200 (2004) |
| 2002 | ||
| 2 | EE | Marco Kick: Bialgebraic Modelling of Timed Processes. ICALP 2002: 525-536 |
| 1 | EE | Marco Kick: Rule Formats for Timed Processes. Electr. Notes Theor. Comput. Sci. 68(1): (2002) |
| 1 | John Power (A. John Power) | [3] [4] |
| 2 | Alex K. Simpson (Alex Simpson) | [4] |