# Axel Wabenhorst

According to our database

^{1}, Axel Wabenhorst## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2003

Induction in the Timed Interval Calculus.

Theor. Comput. Sci., 2003

Stepwise development of fair distributed systems.

Acta Inf., 2003

1998

A model of real-time distributed systems.

Proceedings of the Programming Concepts and Methods, 1998

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

Proceedings of the Mathematics of Program Construction, 1998

1997

Modelling Multi-Threading in Java.

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.

Proceedings of the Mathematical Foundations of Computer Science 1996, 1996