@inproceedings{9f332a3646af473593b37fdd1e0ed177,
title = "An algebra for Delay-Insensitive circuits",
author = "Josephs, {Mark B.} and Udding, {Jan Tijmen}",
note = "Funding Information: We are most grateful to Tony Hoare and Tom Verhoeff for their interest and encouragement. The hospitality of the Department of Computer Science at Washington University helped make it possible for us to collaborate over this research. The work was partially funded by the Science and Engineering Research Council of Great Britain and the ESPRIT Basic Research Action CONCUR. Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1991.; 2nd International Conference on Computer-Aided Verification, CAV 1990 ; Conference date: 18-06-1990 Through 21-06-1990",
year = "1991",
doi = "10.1007/BFb0023748",
language = "English",
isbn = "9783540544777",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "343--352",
editor = "Clarke, {Edmund M.} and Kurshan, {Robert P.}",
booktitle = "Computer-Aided Verification - 2nd International Conference, CAV 1990, Proceedings",
}