Rob T. Udink

Publication Activity (10 Years)

Years Active: 1992-2002
Publications (10 Years): 0

Publications

Yuechen Qian, Loe M. G. Feijs, Rob T. Udink
Characteristic-entry Logs in the Memorysafe Information System. IASTED PDCS (2002)
Roli G. Wendorf, Rob T. Udink, Maarten P. Bodlaender
Remote execution of HAVi applications on Internet-enabled devices. IEEE Trans. Consumer Electron. 47 (3) (2001)
Henk Goeman, Joost N. Kok, Kaisa Sere, Rob T. Udink
Coordination in the ImpUNITY Framework. Sci. Comput. Program. 31 (2-3) (1998)
Henk Goeman, Joost N. Kok, Kaisa Sere, Rob T. Udink
Coordination in the ImpUNITY Framework. COORDINATION (1996)
Rob T. Udink, Joost N. Kok
ImpUNITY: UNITY with Procedures and Local Variables. MPC (1995)
Rob T. Udink, Joost N. Kok
The RPC-Memory Specification Problem: UNITY+Refinement Calculus. Formal Systems Specification (1994)
Rob T. Udink, Ted Herman, Joost N. Kok
Progress for Local Variables in UNITY. PROCOMET (1994)
Rob T. Udink, Joost N. Kok
Unity Properties and Sequences of States, Some Observations. Inf. Process. Lett. 47 (6) (1993)
Rob T. Udink, Joost N. Kok
Two Fully Abstract Models for UNITY. CONCUR (1993)
Rob T. Udink, Joost N. Kok
On the Relation Between Unity Properties and Sequences of States. REX Workshop (1992)