Liveness of Randomised Parameterised Systems under Arbitrary Schedulers (Technical Report).

Lin, A. W., & Ruemmer, P. (2016). Liveness of Randomised Parameterised Systems under Arbitrary Schedulers (Technical Report). arXiv Preprint arXiv:1606.01451. Retrieved from http://arxiv.org/abs/1606.01451