Oxford logo
[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]
Downloads:  bib bib
Notes: The original publication is available at www.springerlink.com.

QAV:

Home

People

Projects

Publications