{"id":"https://openalex.org/W2781805188","doi":"https://doi.org/10.1016/j.tcs.2018.01.002","title":"Verifying chemical reaction network implementations: A bisimulation approach","display_name":"Verifying chemical reaction network implementations: A bisimulation approach","publication_year":2018,"publication_date":"2018-01-06","ids":{"openalex":"https://openalex.org/W2781805188","doi":"https://doi.org/10.1016/j.tcs.2018.01.002","mag":"2781805188"},"language":"en","primary_location":{"id":"doi:10.1016/j.tcs.2018.01.002","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.tcs.2018.01.002","pdf_url":null,"source":{"id":"https://openalex.org/S90727058","display_name":"Theoretical Computer Science","issn_l":"0304-3975","issn":["0304-3975","1879-2294"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1016/j.tcs.2018.01.002","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5050702221","display_name":"Robert F. Johnson","orcid":null},"institutions":[{"id":"https://openalex.org/I122411786","display_name":"California Institute of Technology","ror":"https://ror.org/05dxps055","country_code":"US","type":"education","lineage":["https://openalex.org/I122411786"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Robert Johnson","raw_affiliation_strings":["Bioengineering, California Institute of Technology, United States"],"raw_orcid":"https://orcid.org/0000-0002-5340-8347","affiliations":[{"raw_affiliation_string":"Bioengineering, California Institute of Technology, United States","institution_ids":["https://openalex.org/I122411786"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040552450","display_name":"Qing Dong","orcid":"https://orcid.org/0000-0002-7819-2183"},"institutions":[{"id":"https://openalex.org/I59553526","display_name":"Stony Brook University","ror":"https://ror.org/05qghxh33","country_code":"US","type":"education","lineage":["https://openalex.org/I59553526"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Qing Dong","raw_affiliation_strings":["Computer Science, SUNY Stony Brook, United States"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science, SUNY Stony Brook, United States","institution_ids":["https://openalex.org/I59553526"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5000956443","display_name":"Erik Winfree","orcid":"https://orcid.org/0000-0002-5899-7523"},"institutions":[{"id":"https://openalex.org/I122411786","display_name":"California Institute of Technology","ror":"https://ror.org/05dxps055","country_code":"US","type":"education","lineage":["https://openalex.org/I122411786"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Erik Winfree","raw_affiliation_strings":["Bioengineering, California Institute of Technology, United States","Computer Science, California Institute of Technology, United States"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Bioengineering, California Institute of Technology, United States","institution_ids":["https://openalex.org/I122411786"]},{"raw_affiliation_string":"Computer Science, California Institute of Technology, United States","institution_ids":["https://openalex.org/I122411786"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5050702221"],"corresponding_institution_ids":["https://openalex.org/I122411786"],"apc_list":{"value":2690,"currency":"USD","value_usd":2690},"apc_paid":{"value":2690,"currency":"USD","value_usd":2690},"fwci":1.2101,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":{"value":0.78390836,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"765","issue":null,"first_page":"3","last_page":"46"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10207","display_name":"Advanced biosensing and bioanalysis techniques","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T10207","display_name":"Advanced biosensing and bioanalysis techniques","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10913","display_name":"Molecular Junctions and Nanostructures","score":0.9980999827384949,"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/T12029","display_name":"DNA and Biological Computing","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/bisimulation","display_name":"Bisimulation","score":0.9152400493621826},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6999478340148926},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6150772571563721},{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"Abstract interpretation","score":0.5548485517501831},{"id":"https://openalex.org/keywords/multiset","display_name":"Multiset","score":0.5287560820579529},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5064135789871216},{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.48790356516838074},{"id":"https://openalex.org/keywords/spurious-relationship","display_name":"Spurious relationship","score":0.45562979578971863},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.45326894521713257},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3653363883495331},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.36360475420951843},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.26429978013038635},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.17825186252593994}],"concepts":[{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.9152400493621826},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6999478340148926},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6150772571563721},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.5548485517501831},{"id":"https://openalex.org/C2779623528","wikidata":"https://www.wikidata.org/wiki/Q864377","display_name":"Multiset","level":2,"score":0.5287560820579529},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5064135789871216},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.48790356516838074},{"id":"https://openalex.org/C97256817","wikidata":"https://www.wikidata.org/wiki/Q1462316","display_name":"Spurious relationship","level":2,"score":0.45562979578971863},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.45326894521713257},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3653363883495331},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.36360475420951843},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.26429978013038635},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.17825186252593994},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1016/j.tcs.2018.01.002","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.tcs.2018.01.002","pdf_url":null,"source":{"id":"https://openalex.org/S90727058","display_name":"Theoretical Computer Science","issn_l":"0304-3975","issn":["0304-3975","1879-2294"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theoretical Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:authors.library.caltech.edu:96464","is_oa":true,"landing_page_url":"https://resolver.caltech.edu/CaltechAUTHORS:20190617-104717955","pdf_url":null,"source":{"id":"https://openalex.org/S4306402161","display_name":"CaltechAUTHORS (California Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I122411786","host_organization_name":"California Institute of Technology","host_organization_lineage":["https://openalex.org/I122411786"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article"}],"best_oa_location":{"id":"doi:10.1016/j.tcs.2018.01.002","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.tcs.2018.01.002","pdf_url":null,"source":{"id":"https://openalex.org/S90727058","display_name":"Theoretical Computer Science","issn_l":"0304-3975","issn":["0304-3975","1879-2294"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2069834739","display_name":null,"funder_award_id":"1213127","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2717034653","display_name":null,"funder_award_id":"1317694","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4841326577","display_name":null,"funder_award_id":"0832824","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320309398","display_name":"California Institute of Technology","ror":"https://ror.org/05dxps055"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":66,"referenced_works":["https://openalex.org/W189169192","https://openalex.org/W258022877","https://openalex.org/W1146839044","https://openalex.org/W1270629017","https://openalex.org/W1503973138","https://openalex.org/W1512198009","https://openalex.org/W1524248088","https://openalex.org/W1581489132","https://openalex.org/W1653241450","https://openalex.org/W1842664382","https://openalex.org/W1973642705","https://openalex.org/W1982129592","https://openalex.org/W1990476699","https://openalex.org/W1991095994","https://openalex.org/W2000804241","https://openalex.org/W2005312844","https://openalex.org/W2005615084","https://openalex.org/W2008591003","https://openalex.org/W2011039300","https://openalex.org/W2011618311","https://openalex.org/W2018380000","https://openalex.org/W2055081868","https://openalex.org/W2059505795","https://openalex.org/W2083227084","https://openalex.org/W2083567135","https://openalex.org/W2091275311","https://openalex.org/W2098781789","https://openalex.org/W2120188024","https://openalex.org/W2121061285","https://openalex.org/W2130414563","https://openalex.org/W2133035852","https://openalex.org/W2157092888","https://openalex.org/W2168988021","https://openalex.org/W2251260883","https://openalex.org/W2407503784","https://openalex.org/W2409226593","https://openalex.org/W2409237074","https://openalex.org/W2502057323","https://openalex.org/W2511413624","https://openalex.org/W2518333017","https://openalex.org/W2597410810","https://openalex.org/W2724723511","https://openalex.org/W2747253451","https://openalex.org/W2913449033","https://openalex.org/W2952620388","https://openalex.org/W2962738471","https://openalex.org/W2962837917","https://openalex.org/W3105042967","https://openalex.org/W4213338968","https://openalex.org/W4234211983","https://openalex.org/W4246454375","https://openalex.org/W6607652435","https://openalex.org/W6628341573","https://openalex.org/W6630574404","https://openalex.org/W6631307471","https://openalex.org/W6635140611","https://openalex.org/W6638915335","https://openalex.org/W6673128961","https://openalex.org/W6674979898","https://openalex.org/W6713998718","https://openalex.org/W6725269901","https://openalex.org/W6735271879","https://openalex.org/W6740709770","https://openalex.org/W6743070945","https://openalex.org/W6747560353","https://openalex.org/W6990710446"],"related_works":["https://openalex.org/W4300455649","https://openalex.org/W2296588302","https://openalex.org/W4328119206","https://openalex.org/W2033245919","https://openalex.org/W4252409532","https://openalex.org/W2790309851","https://openalex.org/W2761131108","https://openalex.org/W2026251929","https://openalex.org/W2511413624","https://openalex.org/W1586334994"],"abstract_inverted_index":{"Efforts":[0],"in":[1,22,57,128,143],"programming":[2],"DNA":[3],"and":[4,97,116,135,168,181],"other":[5],"biological":[6],"molecules":[7],"have":[8,28],"recently":[9],"focused":[10],"on":[11],"general":[12,84,130,177],"schemes":[13,27],"to":[14,55,78,88,175],"physically":[15],"implement":[16],"arbitrary":[17],"Chemical":[18],"Reaction":[19],"Networks.":[20],"Errors":[21],"some":[23],"of":[24,44,49,66,72,82,104,118,146,154,161,179],"the":[25,47,80,102,110,129,172,176],"proposed":[26],"driven":[29],"a":[30,42,58,67,83,93,98,106,165,169],"desire":[31],"for":[32,152],"formal":[33,45,95],"verification":[34],"methods.":[35],"By":[36],"interpreting":[37],"each":[38],"implementation":[39,85,100],"species":[40],"as":[41],"multiset":[43],"species,":[46],"concept":[48],"weak":[50],"bisimulation":[51,74,163],"can":[52,75],"be":[53,76],"adapted":[54],"CRNs":[56,112],"way":[59],"that":[60,117,141,184],"agrees":[61],"with":[62],"an":[63,121,139,182],"intuitive":[64],"notion":[65],"correct":[68],"implementation.":[69],"The":[70],"theory":[71,178],"CRN":[73,96,162],"used":[77],"prove":[79],"correctness":[81],"scheme":[86],"or":[87],"detect":[89],"subtle":[90],"problems.":[91,156],"Given":[92],"specific":[94,99],"CRN,":[101],"complexity":[103],"finding":[105],"valid":[107,124],"interpretation":[108,122],"between":[109],"two":[111],"if":[113],"one":[114],"exists,":[115],"checking":[119],"whether":[120],"is":[123],"are":[125,133],"both":[126,153],"PSPACE-complete":[127],"case,":[131],"but":[132],"NP-complete":[134],"polynomial-time":[136],"respectively":[137],"under":[138],"assumption":[140],"holds":[142],"many":[144],"cases":[145],"interest.":[147],"We":[148,157],"present":[149],"effective":[150],"algorithms":[151],"those":[155],"further":[158],"discuss":[159],"features":[160],"including":[164],"transitivity":[166],"property":[167],"modularity":[170],"condition,":[171],"precise":[173],"connection":[174],"bisimulation,":[180],"extension":[183],"takes":[185],"into":[186],"account":[187],"spurious":[188],"catalysts.":[189]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}