Axel Wabenhorst

According to our database, Axel Wabenhorst authored at least 6 papers between 1996 and 2003.

Collaborative distances:

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

2003

Induction in the Timed Interval Calculus.

Axel Wabenhorst

Theor. Comput. Sci., 2003

Stepwise development of fair distributed systems.

Axel Wabenhorst

Acta Informatica, 2003

1998

A model of real-time distributed systems.

Axel Wabenhorst

Proceedings of the Programming Concepts and Methods, 1998

A Set-Theoretic Model for Real-Time Specification and Reasoning.

Colin J. Fidge, Ian J. Hayes, Andrew P. Martin, Axel Wabenhorst

Proceedings of the Mathematics of Program Construction, 1998

1997

Modelling Multi-Threading in Java.

Axel Wabenhorst, John Potter

Proceedings of the TOOLS 1997: 25th International Conference on Technology of Object-Oriented Languages and Systems, 1997

1996

On Fairness in Terminating and Reactive Programs.

Axel Wabenhorst

Proceedings of the Mathematical Foundations of Computer Science 1996, 1996