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

Rosier, Louis E.Louis E.RosierHSU-CHUN YEN2020-06-162020-06-161988https://scholars.lib.ntu.edu.tw/handle/123456789/502454On the Complexity of Deciding fair Termination of Probabilistic Concurrent Finite-State Programs.journal article10.1016/0304-3975(88)90031-Xhttps://doi.org/10.1016/0304-3975(88)90031-X