Marco Kick

According to our database, Marco Kick authored at least 4 papers between 2002 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

Coalgebraic semantics for timed processes.

Marco Kick, John Power, Alex Simpson

Inf. Comput., 2006

2004

Modularity of Behaviours for Mathematical Operational Semantics.

Marco Kick, A. John Power

Proceedings of the Workshop on Coalgebraic Methods in Computer Science, 2004

2002

Rule Formats for Timed Processes.

Marco Kick

Proceedings of the Categorical Methods for Concurrency, 2002

Bialgebraic Modelling of Timed Processes.

Marco Kick

Proceedings of the Automata, Languages and Programming, 29th International Colloquium, 2002