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