@Article{Kwi89,
author={M. Kwiatkowska},
title={Event Fairness and Non-interleaving Concurrency},
journal={Formal Aspects of Computing},
year={1989},

volume={1},
number={3},
pages={213-228},
publisher={},
month={},
note={},
key={}
}