[Kwi89]
M. Kwiatkowska.
Event Fairness and Non-interleaving Concurrency.
Formal Aspects of Computing, 1(3), pages 213-228.
1989.
[bib]
http://www.springerlink.com/content/u267467650l36258/
|
Available from:
http://www.springerlink.com/content/u267467650l36258/
|