Axel Wabenhorst

Publication Activity (10 Years)

Years Active: 1996-2003
Publications (10 Years): 0

Publications

Axel Wabenhorst
Stepwise development of fair distributed systems. Acta Informatica 39 (4) (2003)
Axel Wabenhorst
Induction in the Timed Interval Calculus. Theor. Comput. Sci. 300 (1-3) (2003)
Colin J. Fidge, Ian J. Hayes, Andrew P. Martin, Axel Wabenhorst
A Set-Theoretic Model for Real-Time Specification and Reasoning. MPC (1998)
Axel Wabenhorst
A model of real-time distributed systems. PROCOMET (1998)
Axel Wabenhorst, John Potter
Modelling Multi-Threading in Java. TOOLS (25) (1997)
Axel Wabenhorst
On Fairness in Terminating and Reactive Programs. MFCS (1996)