Paul G. Lucassen

Arithmetic for relative accuracy

Jos Nijhuis, Rudi van Drunen, Jan Tijmen Udding, 1995, Proceedings of the 12th Symposium on Computer Arithmetic.

On the correctness of the Sproull counterflow pipeline processor

Jan Tijmen Udding, Paul G. Lucassen, 1996, Proceedings Second International Symposium on Advanced Research in Asynchronous Circuits and Systems.

Normal Form in a Delay-Insensitive Algebra

Mark B. Josephs, Jan Tijmen Udding, Paul G. Lucassen, 1993, Asynchronous Design Methodologies.

Formal design of an asynchronous DSP counterflow pipeline: a case study in handshake algebra

Mark B. Josephs, Jan Tijmen Udding, Tom Verhoeff, 1994, Proceedings of 1994 IEEE Symposium on Advanced Research in Asynchronous Circuits and Systems.

Normal form in DI-algebra with recursion

Jan Tijmen Udding, Paul G. Lucassen, Indra Polak, 1997, Proceedings Third International Symposium on Advanced Research in Asynchronous Circuits and Systems.