Rob T. Udink

According to our database, Rob T. Udink authored at least 10 papers between 1992 and 2002.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2002

Characteristic-entry Logs in the Memorysafe Information System.

Yuechen Qian, Loe M. G. Feijs, Rob T. Udink

Proceedings of the International Conference on Parallel and Distributed Computing Systems, 2002

2001

Remote execution of HAVi applications on Internet-enabled devices.

Roli G. Wendorf, Rob T. Udink, Maarten P. Bodlaender

IEEE Trans. Consumer Electron., 2001

1998

Coordination in the ImpUNITY Framework.

Henk Goeman, Joost N. Kok, Kaisa Sere, Rob T. Udink

Sci. Comput. Program., 1998

1995

ImpUNITY: UNITY with Procedures and Local Variables.

Rob T. Udink, Joost N. Kok

Proceedings of the Mathematics of Program Construction, 1995

Program refinement in UNITY-like environments.

Rob T. Udink

University Utrecht, ISBN: 978-90-393-0959-9, 1995

1994

Progress for Local Variables in UNITY.

Rob T. Udink, Ted Herman, Joost N. Kok

Proceedings of the Programming Concepts, 1994

The RPC-Memory Specification Problem: UNITY+Refinement Calculus.

Rob T. Udink, Joost N. Kok

Proceedings of the Formal Systems Specification, 1994

1993

Unity Properties and Sequences of States, Some Observations.

Rob T. Udink, Joost N. Kok

Inf. Process. Lett., 1993

Two Fully Abstract Models for UNITY.

Rob T. Udink, Joost N. Kok

Proceedings of the CONCUR '93, 1993

1992

On the Relation Between Unity Properties and Sequences of States.

Rob T. Udink, Joost N. Kok

Proceedings of the Sematics: Foundations and Applications, 1992