Paul G. Lucassen

According to our database, Paul G. Lucassen authored at least 5 papers between 1993 and 1997.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1997

Normal Form in DI-Algebra with Recursion.

Paul G. Lucassen, Indra Polak, Jan Tijmen Udding

Proceedings of the 3rd International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '97), 1997

1996

On the correctness of the Sproull counterflow pipeline processor.

Paul G. Lucassen, Jan Tijmen Udding

Proceedings of the 2nd International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '96), 1996

1995

Arithmetic for Relative Accuracy.

Rudi van Drunen, Lambert Spaanenburg, Paul G. Lucassen, J. A. G. Nijhuis, Jan Tijmen Udding

Proceedings of the 12th Symposium on Computer Arithmetic (ARITH-12 '95), 1995

1994

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

Mark B. Josephs, Paul G. Lucassen, Jan Tijmen Udding, Tom Verhoeff

Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems, 1994

1993

Normal Form in a Delay-Insensitive Algebra.

Rix Groenboom, Mark B. Josephs, Paul G. Lucassen, Jan Tijmen Udding

Proceedings of the Asynchronous Design Methodologies, Proceedings of the IFIP WG10.5 Working Conference on Asynchronous Design Methodologies, Manchester, UK, 31 March, 1993