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

Rosier, Louis E.Louis E.RosierHSU-CHUN YEN2020-06-162020-06-161986https://scholars.lib.ntu.edu.tw/handle/123456789/502419On The Complexity of Deciding Fair Termination of Probabilistic Concurrent Finite-State Programs.conference paper10.1007/3-540-16761-7_83https://doi.org/10.1007/3-540-16761-7_83