On The Complexity of Deciding Fair Termination of Probabilistic Concurrent Finite-State Programs.

Louis E. Rosier, Hsu-Chun Yen

Browse the full ICALP paper archive.