Searching for "Event Fairness and Non-interleaving Concurrency." – sorted by Relevance.
-
unknown title
- . Distributed Computing 6 (1992) 107-120. [6] Kwiatkowska, M. Z.: Event fairness and non-interleaving
- Add To MetaCart
-
[23] D. Peled, All from One, One for All: on Model Checking using Representatives, 5th
- . Kwiatkowska, Event Fairness and Non-Interleaving Concurrency, Formal Aspects of Computing 1 (1989), 213
- Add To MetaCart
-
Computing, 1(1):85--114, 1989. [Nip89] Tobias Nipkow. Term rewriting and beyond - theorem proving in Isabelle.
- ) . Formal Aspects of Computing, 4(5):487--492, 1992. [Kwi89] Marta Z Kwiatkowska. Event fairness and non-interleaving
- Add To MetaCart

