On The Complexity of Deciding Fair Termination of Probabilistic Concurrent Finite-State Programs.
Journal
Automata, Languages and Programming, 13th International Colloquium, ICALP86, Rennes, France, July 15-19, 1986, Proceedings
Pages
334-343
Date Issued
1986
Author(s)
Rosier, Louis E.
Type
conference paper