An Automaton Characterization of Fairness in SCCS

Irène Guessarian, Wafaa Niar-Dinedane. An Automaton Characterization of Fairness in SCCS. In Robert Cori, Martin Wirsing, editors, STACS 88, 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13, 1988, Proceedings. Volume 294 of Lecture Notes in Computer Science, pages 356-372, Springer, 1988.

Abstract

Abstract is missing.