MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Event Fairness and Non-interleaving Concurrency." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

unknown title
by S. On, In Proc, Annual Symposium
…. 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
by D. Peled, S. Katz, A. Pnueli, Proving Serializability, Temporal Logic
…. 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.
by Formal Aspects Of, Nhwg Morgens Nielsen, Klaus Havelund, Kin Ritter Wagner, Chris George, The Raise, Ps H A Partsch, F A Stomp
…) . Formal Aspects of Computing, 4(5):487--492, 1992. [Kwi89] Marta Z Kwiatkowska. Event fairness and non-interleaving…
Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB