[Kwi90b]
M. Kwiatkowska.
Defining Process Fairness for Non-Interleaving Concurrency.
In 10th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'90), volume 472 of LNCS, pages 286-300, Springer.
1990.
[bib]
http://www.springerlink.com/content/pqm2q43115r10518/
|
Notes:
The original publication is available at link.springer.com.
|
Available from:
http://www.springerlink.com/content/pqm2q43115r10518/
|