{"id":"https://openalex.org/W4241444782","doi":"https://doi.org/10.1090/dimacs/003/12","title":"An algebra for delay-insensitive circuits","display_name":"An algebra for delay-insensitive circuits","publication_year":1991,"publication_date":"1991-06-06","ids":{"openalex":"https://openalex.org/W4241444782","doi":"https://doi.org/10.1090/dimacs/003/12"},"language":"en","primary_location":{"id":"doi:10.1090/dimacs/003/12","is_oa":false,"landing_page_url":"https://doi.org/10.1090/dimacs/003/12","pdf_url":null,"source":{"id":"https://openalex.org/S4210177973","display_name":"DIMACS series in discrete mathematics and theoretical computer science","issn_l":"1052-1798","issn":["1052-1798","2472-4793"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"DIMACS Series in Discrete Mathematics and Theoretical Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5084580777","display_name":"Mark B. Josephs","orcid":"https://orcid.org/0000-0003-3379-9608"},"institutions":[{"id":"https://openalex.org/I204465549","display_name":"Washington University in St. Louis","ror":"https://ror.org/01yc7t268","country_code":"US","type":"education","lineage":["https://openalex.org/I204465549"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"M. Josephs","raw_affiliation_strings":["Department of Computer Science & Engineering -Washington University in St. Louis Campus Box 1045 -St. Louis, MO -63130 -ph","Washington University in St. Louis","Washington University in St. Louis Washington University in St. Louis Washington University Open Scholarship Washington University Open Scholarship All Computer Science and Engineering Research Computer Science and"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science & Engineering -Washington University in St. Louis Campus Box 1045 -St. Louis, MO -63130 -ph","institution_ids":["https://openalex.org/I204465549"]},{"raw_affiliation_string":"Washington University in St. Louis","institution_ids":["https://openalex.org/I204465549"]},{"raw_affiliation_string":"Washington University in St. Louis Washington University in St. Louis Washington University Open Scholarship Washington University Open Scholarship All Computer Science and Engineering Research Computer Science and","institution_ids":["https://openalex.org/I204465549"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5020382087","display_name":"J. Udding","orcid":null},"institutions":[{"id":"https://openalex.org/I204465549","display_name":"Washington University in St. Louis","ror":"https://ror.org/01yc7t268","country_code":"US","type":"education","lineage":["https://openalex.org/I204465549"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"J. Udding","raw_affiliation_strings":["Department of Computer Science & Engineering -Washington University in St. Louis Campus Box 1045 -St. Louis, MO -63130 -ph","Washington University in St. Louis","Washington University in St. Louis Washington University in St. Louis Washington University Open Scholarship Washington University Open Scholarship All Computer Science and Engineering Research Computer Science and"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science & Engineering -Washington University in St. Louis Campus Box 1045 -St. Louis, MO -63130 -ph","institution_ids":["https://openalex.org/I204465549"]},{"raw_affiliation_string":"Washington University in St. Louis","institution_ids":["https://openalex.org/I204465549"]},{"raw_affiliation_string":"Washington University in St. Louis Washington University in St. Louis Washington University Open Scholarship Washington University Open Scholarship All Computer Science and Engineering Research Computer Science and","institution_ids":["https://openalex.org/I204465549"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I204465549"],"apc_list":null,"apc_paid":null,"fwci":2.0351,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.90344828,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"147","last_page":"176"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10363","display_name":"Low-power high-performance VLSI design","score":0.9771000146865845,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10363","display_name":"Low-power high-performance VLSI design","score":0.9771000146865845,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13182","display_name":"Quantum-Dot Cellular Automata","score":0.9550999999046326,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9514999985694885,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5201102495193481},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.45858001708984375},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3775492012500763},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.33133015036582947},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.12564149498939514},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.12503322958946228},{"id":"https://openalex.org/keywords/electrical-engineering","display_name":"Electrical engineering","score":0.1222982108592987}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5201102495193481},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.45858001708984375},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3775492012500763},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.33133015036582947},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.12564149498939514},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.12503322958946228},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.1222982108592987}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1090/dimacs/003/12","is_oa":false,"landing_page_url":"https://doi.org/10.1090/dimacs/003/12","pdf_url":null,"source":{"id":"https://openalex.org/S4210177973","display_name":"DIMACS series in discrete mathematics and theoretical computer science","issn_l":"1052-1798","issn":["1052-1798","2472-4793"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"DIMACS Series in Discrete Mathematics and Theoretical Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W4245490552","https://openalex.org/W4225152035","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W1587224694","https://openalex.org/W2911598644"],"abstract_inverted_index":{"A":[0],"novel":[1],"process":[2],"algebra":[3],"is":[4],"presented;":[5],"algebraic":[6,33],"expressions":[7],"specify":[8,39],"delay-insensitive":[9],"circuits":[10,40,53],"in":[11,54],"terms":[12],"of":[13,32,46],"voltage-level":[14],"transitions":[15],"on":[16],"wires.The":[17],"approach":[18],"appears":[19],"to":[20,38],"have":[21],"several":[22],"advantages":[23],"over":[24],"traditional":[25],"state-graph":[26],"and":[27,42],"production-rule":[28],"based":[29],"methods.The":[30],"wealth":[31],"laws":[34],"makes":[35],"it":[36],"possible":[37],"concisely":[41],"facilitates":[43],"the":[44,63],"verification":[45],"designs.Individual":[47],"components":[48],"can":[49],"be":[50],"composed":[51],"into":[52],"which":[55],"signals":[56],"along":[57],"internal":[58],"wires":[59],"are":[60],"hidden":[61],"from":[62],"environment.":[64]},"counts_by_year":[{"year":2017,"cited_by_count":1}],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2025-10-10T00:00:00"}