Using Metrics for Proof Rules for Recursively Defined Delay-insensitive Specifications. - Willem C. Mallon; Jan Tijmen Udding (ASYNC, 1997)

Building Finite Automata from DI Specifications. - Willem C. Mallon; Jan Tijmen Udding (ASYNC, 1998)

Analysis and Applications of the XDI model. - Willem C. Mallon; Jan Tijmen Udding; Tom Verhoeff (ASYNC, 1999)

On Directed Transformations of Delay-Insensitive Specifications, Alternations and Dynamic Nondeterminism. - Willem C. Mallon (ASYNC, 2000)

Click Elements: An Implementation Style for Data-Driven Compilation. - Ad M. G. Peeters; Frank te Beest; Mark de Wit; Willem C. Mallon (ASYNC, 2010)