| |
| 2000 | ||
|---|---|---|
| 4 | EE | Willem C. Mallon: On Directed Transformations of Delay-Insensitive Specifications, Alternations and Dynamic Nondeterminism. ASYNC 2000: 12-22 |
| 1999 | ||
| 3 | EE | Willem C. Mallon, Jan Tijmen Udding, Tom Verhoeff: Analysis and Applications of the XDI model. ASYNC 1999: 231-242 |
| 1998 | ||
| 2 | EE | Willem C. Mallon, Jan Tijmen Udding: Building Finite Automata from DI Specifications. ASYNC 1998: 184-193 |
| 1997 | ||
| 1 | EE | Willem C. Mallon, Jan Tijmen Udding: Using Metrics for Proof Rules for Recursively Defined Delay-insensitive Specifications. ASYNC 1997: 175- |
| 1 | Jan Tijmen Udding | [1] [2] [3] |
| 2 | Tom Verhoeff | [3] |