Willem C. Mallon

Publication Activity (10 Years)

Years Active: 1997-2010
Publications (10 Years): 0

Publications

Ad M. G. Peeters, Frank te Beest, Mark de Wit, Willem C. Mallon
Click Elements: An Implementation Style for Data-Driven Compilation. ASYNC (2010)
Willem C. Mallon
On Directed Transformations of Delay-Insensitive Specifications, Alternations and Dynamic Nondeterminism. ASYNC (2000)
Willem C. Mallon, Jan Tijmen Udding, Tom Verhoeff
Analysis and Applications of the XDI model. ASYNC (1999)
Willem C. Mallon, Jan Tijmen Udding
Building Finite Automata from DI Specifications. ASYNC (1998)
Willem C. Mallon, Jan Tijmen Udding
Using Metrics for Proof Rules for Recursively Defined Delay-insensitive Specifications. ASYNC (1997)