Ralph-Johan Back, Qiwen Xu. Refinement of Fair Action Systems. Acta Informatica, 35(2):131-165, 1998. [doi]
@article{BackX98,
title = {Refinement of Fair Action Systems},
author = {Ralph-Johan Back and Qiwen Xu},
year = {1998},
url = {http://link.springer.de/link/service/journals/00236/bibs/8035002/80350131.htm},
tags = {refinement},
researchr = {https://researchr.org/publication/BackX98},
cites = {0},
citedby = {0},
journal = {Acta Informatica},
volume = {35},
number = {2},
pages = {131-165},
}