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

J.T. Udding

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

88 Citaten (Scopus)
2 Downloads (Pure)

Samenvatting

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.
Originele taal-2Engels
Pagina's (van-tot)197-204
Aantal pagina's8
TijdschriftDistributed Computing
Volume1
Nummer van het tijdschrift4
DOI's
StatusGepubliceerd - 1986

Vingerafdruk Duik in de onderzoeksthema's van 'A formal model for defining and classifying delay-insensitive circuits and systems'. Samen vormen ze een unieke vingerafdruk.

Citeer dit