@InProceedings{Kwi90b,
author={M. Kwiatkowska},
title={Defining Process Fairness for Non-Interleaving Concurrency},
booktitle={10th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'90)},
year={1990},

editor={},
pages={286-300},
organization={},
publisher={Springer},
series={LNCS},
volume={472},
address={},
month={},
note={},
key={}
}