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] http://www.springerlink.com/content/pqm2q43115r10518/
Downloads:  bib bib
Notes: The original publication is available at link.springer.com.

QAV:

Home

People

Projects

Publications