A formal model for defining and classifying delay-insensitive circuits and systems

J.T. Udding

Research output: Contribution to journalArticleAcademicpeer-review

88 Citations (Scopus)
2 Downloads (Pure)

Abstract

Jan Tijmen Udding received the B.S. and M.S. degrees in mathematics, and the Ph.D. degree in computer science from the Eindhoven University of Technology, Eindhoven, The Netherlands, in 1975, 1980, and 1984, respectively. Currently he is an Assistant Professor with the Department of Computer Science at Washington University, St. Louis, Missouri, and an Associate Professor with the Department of Computer Science at the Eindhoven University of Technology. His research interests are mathematical aspects of VLSI, concurrency, program derivation and correctness, and functional programming.
Original languageEnglish
Pages (from-to)197-204
Number of pages8
JournalDistributed Computing
Volume1
Issue number4
DOIs
Publication statusPublished - 1986

Fingerprint Dive into the research topics of 'A formal model for defining and classifying delay-insensitive circuits and systems'. Together they form a unique fingerprint.

Cite this