| 2002 |
|---|
| 9 | | Yuechen Qian,
Loe M. G. Feijs,
Rob T. Udink:
Characteristic-entry Logs in the Memorysafe Information System.
IASTED PDCS 2002: 180-185 |
| 1998 |
|---|
| 8 | | Henk Goeman,
Joost N. Kok,
Kaisa Sere,
Rob T. Udink:
Coordination in the ImpUNITY Framework.
Sci. Comput. Program. 31(2-3): 313-334 (1998) |
| 1996 |
|---|
| 7 | | Henk Goeman,
Joost N. Kok,
Kaisa Sere,
Rob T. Udink:
Coordination in the ImpUNITY Framework.
COORDINATION 1996: 215-230 |
| 1995 |
|---|
| 6 | | Rob T. Udink,
Joost N. Kok:
ImpUNITY: UNITY with Procedures and Local Variables.
MPC 1995: 452-472 |
| 1994 |
|---|
| 5 | | Rob T. Udink,
Joost N. Kok:
The RPC-Memory Specification Problem: UNITY+Refinement Calculus.
Formal Systems Specification 1994: 521-540 |
| 4 | | Rob T. Udink,
Ted Herman,
Joost N. Kok:
Progress for Local Variables in UNITY.
PROCOMET 1994: 127-146 |
| 1993 |
|---|
| 3 | | Rob T. Udink,
Joost N. Kok:
Two Fully Abstract Models for UNITY.
CONCUR 1993: 339-352 |
| 2 | | Rob T. Udink,
Joost N. Kok:
Unity Properties and Sequences of States, Some Observations.
Inf. Process. Lett. 47(6): 307-311 (1993) |
| 1992 |
|---|
| 1 | | Rob T. Udink,
Joost N. Kok:
On the Relation Between Unity Properties and Sequences of States.
REX Workshop 1992: 594-608 |
