Marco Kick

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2006

4 Marco Kick, John Power, Alex Simpson: Coalgebraic semantics for timed processes. Inf. Comput. 204(4): 588-609 (2006)

2004

3 Marco Kick, A. John Power: Modularity of Behaviours for Mathematical Operational Semantics. Electr. Notes Theor. Comput. Sci. 106: 185-200 (2004)

2002

2 Marco Kick: Bialgebraic Modelling of Timed Processes. ICALP 2002: 525-536

1 Marco Kick: Rule Formats for Timed Processes. Electr. Notes Theor. Comput. Sci. 68(1): 12-31 (2002)

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

Coauthor Index

1 John Power (A. John Power) [3] [4]

2 Alex K. Simpson (Alex Simpson) [4]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page

1	John Power (A. John Power)	[3] [4]
2	Alex K. Simpson (Alex Simpson)	[4]