A Blocking Model for Reactive Objects. - Roger Duke; Cecily Bailes; Graeme Smith 001 (Formal Aspects Comput., 1996)