A semantics of communicating reactive objects with timing.

Jozef Hooman Mark van der Zwaag A semantics of communicating reactive objects with timing. 97-112 2006 8 STTT 2 http://dx.doi.org/10.1007/s10009-005-0207-8 db/journals/sttt/sttt8.html#HoomanZ06