An algebra for Delay-Insensitive circuits

Mark B. Josephs; Jan Tijmen Udding

doi:10.1007/BFb0023748

An algebra for Delay-Insensitive circuits

Mark B. Josephs, Jan Tijmen Udding

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

8 Citations (Scopus)

Original language	English
Title of host publication	Computer-Aided Verification - 2nd International Conference, CAV 1990, Proceedings
Editors	Edmund M. Clarke, Robert P. Kurshan
Publisher	Springer Verlag
Pages	343-352
Number of pages	10
ISBN (Print)	9783540544777
DOIs	https://doi.org/10.1007/BFb0023748
Publication status	Published (VoR) - 1991
Event	2nd International Conference on Computer-Aided Verification, CAV 1990 - New Brunswick, United States Duration: 18 Jun 1990 → 21 Jun 1990

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	531 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	2nd International Conference on Computer-Aided Verification, CAV 1990
Country/Territory	United States
City	New Brunswick
Period	18/06/90 → 21/06/90

Funding

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.

Access to Document

10.1007/BFb0023748

Cite this

Josephs, M. B., & Udding, J. T. (1991). An algebra for Delay-Insensitive circuits. In E. M. Clarke, & R. P. Kurshan (Eds.), Computer-Aided Verification - 2nd International Conference, CAV 1990, Proceedings (pp. 343-352). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 531 LNCS). Springer Verlag. https://doi.org/10.1007/BFb0023748

Josephs, Mark B. ; Udding, Jan Tijmen. / An algebra for Delay-Insensitive circuits. Computer-Aided Verification - 2nd International Conference, CAV 1990, Proceedings. editor / Edmund M. Clarke ; Robert P. Kurshan. Springer Verlag, 1991. pp. 343-352 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@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",

}

Josephs, MB & Udding, JT 1991, An algebra for Delay-Insensitive circuits. in EM Clarke & RP Kurshan (eds), Computer-Aided Verification - 2nd International Conference, CAV 1990, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 531 LNCS, Springer Verlag, pp. 343-352, 2nd International Conference on Computer-Aided Verification, CAV 1990, New Brunswick, United States, 18/06/90. https://doi.org/10.1007/BFb0023748

An algebra for Delay-Insensitive circuits. / Josephs, Mark B.; Udding, Jan Tijmen.
Computer-Aided Verification - 2nd International Conference, CAV 1990, Proceedings. ed. / Edmund M. Clarke; Robert P. Kurshan. Springer Verlag, 1991. p. 343-352 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 531 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - An algebra for Delay-Insensitive circuits

AU - Josephs, Mark B.

AU - Udding, Jan Tijmen

N1 - 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: © Springer-Verlag Berlin Heidelberg 1991.

PY - 1991

Y1 - 1991

UR - https://www.scopus.com/pages/publications/34249796133

UR - https://www.scopus.com/inward/citedby.url?scp=34249796133&partnerID=8YFLogxK

U2 - 10.1007/BFb0023748

DO - 10.1007/BFb0023748

M3 - Conference contribution

AN - SCOPUS:34249796133

SN - 9783540544777

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 343

EP - 352

BT - Computer-Aided Verification - 2nd International Conference, CAV 1990, Proceedings

A2 - Clarke, Edmund M.

A2 - Kurshan, Robert P.

PB - Springer Verlag

T2 - 2nd International Conference on Computer-Aided Verification, CAV 1990

Y2 - 18 June 1990 through 21 June 1990

ER -

Josephs MB, Udding JT. An algebra for Delay-Insensitive circuits. In Clarke EM, Kurshan RP, editors, Computer-Aided Verification - 2nd International Conference, CAV 1990, Proceedings. Springer Verlag. 1991. p. 343-352. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/BFb0023748

An algebra for Delay-Insensitive circuits

Publication series

Conference

Funding

Access to Document

Other files and links

Fingerprint

Cite this