A Blocking Model for Reactive Objects.

Roger Duke Cecily Bailes Graeme Smith A Blocking Model for Reactive Objects. 347-368 1996 8 Formal Asp. Comput. 3 db/journals/fac/fac8.html#DukeBS96 http://dx.doi.org/10.1007/BF01214919