Axel Wabenhorst

	2003
6		Axel Wabenhorst: Stepwise development of fair distributed systems. Acta Inf. 39(4): 233-271 (2003)
5		Axel Wabenhorst: Induction in the Timed Interval Calculus. Theor. Comput. Sci. 300(1-3): 181-207 (2003)
	1998
4		Colin J. Fidge, Ian J. Hayes, A. P. Martin, Axel Wabenhorst: A Set-Theoretic Model for Real-Time Specification and Reasoning. MPC 1998: 188-206
3		Axel Wabenhorst: A model of real-time distributed systems. PROCOMET 1998: 462-482
	1997
2		Axel Wabenhorst, John Potter: Modelling Multi-Threading in Java. TOOLS (25) 1997: 153-164
	1996
1		Axel Wabenhorst: On Fairness in Terminating and Reactive Programs. MFCS 1996: 554-565

Coauthor Index

1	Colin J. Fidge	[4]
2	Ian J. Hayes	[4]
3	A. P. Martin	[4]
4	John Potter	[2]

Colors in the list of coauthors