On Fairness in Terminating and Reactive Programs

Axel Wabenhorst. On Fairness in Terminating and Reactive Programs. In Wojciech Penczek, Andrzej Szalas, editors, Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS 96, Cracow, Poland, September 2-6, 1996, Proceedings. Volume 1113 of Lecture Notes in Computer Science, pages 554-565, Springer, 1996.

Abstract

Abstract is missing.