Searching for "A Blocking Model for Reactive Objects." – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

Fully Abstract Model of Reactive Objects
by Roger Duke, Cecily Bailes, Graeme Smith — 1996
…. In this paper a model for such reactive objects is constructed where messages may be blocked either…
Add To MetaCart

Formal Aspects of Computing Bibliography
by J. Allison, Mark Harman, Dan Simpson, Carroll Morgan, Annabelle Mciver, Karen Seidel, J C M Baeten, Geoffrey Brown, Wayne Luk, Ping Zhou, Jozef Hooman, Ruurd Kuiper Compositional Verification — 1997
…, and Graeme Smith. A blocking model for reactive objects. Formal Aspects of Computing, 8(3):347--368, 1996…
Add To MetaCart

Showing 1 through 2.

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