On the Complexity of Deciding fair Termination of Probabilistic Concurrent Finite-State Programs

Louis E. Rosier, Hsu-Chun Yen. On the Complexity of Deciding fair Termination of Probabilistic Concurrent Finite-State Programs. Theoretical Computer Science, 58:263-324, 1988.

Abstract

Abstract is missing.