# Axel Wabenhorst

According to our database

Collaborative distances:

^{1}, Axel Wabenhorst authored at least 6 papers between 1996 and 2003.Collaborative distances:

## 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