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.
@article{RosierY88,
title = {On the Complexity of Deciding fair Termination of Probabilistic Concurrent Finite-State Programs},
author = {Louis E. Rosier and Hsu-Chun Yen},
year = {1988},
tags = {termination, e-science},
researchr = {https://researchr.org/publication/RosierY88},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {58},
pages = {263-324},
}