{"id":"https://openalex.org/W2397775113","doi":"https://doi.org/10.2168/lmcs-11(2:13)2015","title":"Thermodynamic graph-rewriting","display_name":"Thermodynamic graph-rewriting","publication_year":2015,"publication_date":"2015-06-24","ids":{"openalex":"https://openalex.org/W2397775113","doi":"https://doi.org/10.2168/lmcs-11(2:13)2015","mag":"2397775113"},"language":"en","primary_location":{"id":"doi:10.2168/lmcs-11(2:13)2015","is_oa":true,"landing_page_url":"https://doi.org/10.2168/lmcs-11(2:13)2015","pdf_url":"https://lmcs.episciences.org/1573/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/1573/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5111482850","display_name":"Vincent Danos","orcid":null},"institutions":[{"id":"https://openalex.org/I4210124484","display_name":"Directorate-General for Interpretation","ror":"https://ror.org/03728bb41","country_code":"BE","type":"government","lineage":["https://openalex.org/I1320481043","https://openalex.org/I2800387288","https://openalex.org/I4210124484"]}],"countries":["BE"],"is_corresponding":true,"raw_author_name":"Vincent Danos","raw_affiliation_strings":["Analyse Statique par Interpr\u00e9tation Abstraite","School of Informatics [Edimbourg]"],"affiliations":[{"raw_affiliation_string":"Analyse Statique par Interpr\u00e9tation Abstraite","institution_ids":["https://openalex.org/I4210124484"]},{"raw_affiliation_string":"School of Informatics [Edimbourg]","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049978947","display_name":"Russell Harmer","orcid":null},"institutions":[{"id":"https://openalex.org/I113428412","display_name":"\u00c9cole Normale Sup\u00e9rieure de Lyon","ror":"https://ror.org/04zmssz18","country_code":"FR","type":"education","lineage":["https://openalex.org/I113428412","https://openalex.org/I203339264"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Russell Harmer","raw_affiliation_strings":["LIP, CNRS & ENS Lyon","Preuves et Langages"],"affiliations":[{"raw_affiliation_string":"LIP, CNRS & ENS Lyon","institution_ids":["https://openalex.org/I113428412","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"Preuves et Langages","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5076639812","display_name":"Ricardo Honorato-Zimmer","orcid":"https://orcid.org/0000-0003-4396-9762"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Ricardo Honorato-Zimmer","raw_affiliation_strings":["School of Informatics, University of Edinburgh","School of Informatics [Edimbourg]"],"affiliations":[{"raw_affiliation_string":"School of Informatics, University of Edinburgh","institution_ids":["https://openalex.org/I98677209"]},{"raw_affiliation_string":"School of Informatics [Edimbourg]","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5111482850"],"corresponding_institution_ids":["https://openalex.org/I4210124484"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.14230875,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"Volume 11, Issue 2","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9969000220298767,"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/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9969000220298767,"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/T10932","display_name":"Microbial Metabolic Engineering and Bioproduction","score":0.9779000282287598,"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/T11445","display_name":"Origins and Evolution of Life","score":0.9761000275611877,"subfield":{"id":"https://openalex.org/subfields/3103","display_name":"Astronomy and Astrophysics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.6800761222839355},{"id":"https://openalex.org/keywords/graph-rewriting","display_name":"Graph rewriting","score":0.6262228488922119},{"id":"https://openalex.org/keywords/undecidable-problem","display_name":"Undecidable problem","score":0.6031100749969482},{"id":"https://openalex.org/keywords/aka","display_name":"AKA","score":0.5945577025413513},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5681151151657104},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.5108844637870789},{"id":"https://openalex.org/keywords/finite-set","display_name":"Finite set","score":0.49741867184638977},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.4903140366077423},{"id":"https://openalex.org/keywords/fixed-point","display_name":"Fixed point","score":0.4363182783126831},{"id":"https://openalex.org/keywords/term","display_name":"Term (time)","score":0.42012810707092285},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.41706302762031555},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.3420292139053345},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.32608848810195923}],"concepts":[{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.6800761222839355},{"id":"https://openalex.org/C558772884","wikidata":"https://www.wikidata.org/wiki/Q1508564","display_name":"Graph rewriting","level":3,"score":0.6262228488922119},{"id":"https://openalex.org/C192034797","wikidata":"https://www.wikidata.org/wiki/Q3502995","display_name":"Undecidable problem","level":3,"score":0.6031100749969482},{"id":"https://openalex.org/C121158502","wikidata":"https://www.wikidata.org/wiki/Q4652161","display_name":"AKA","level":2,"score":0.5945577025413513},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5681151151657104},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.5108844637870789},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.49741867184638977},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4903140366077423},{"id":"https://openalex.org/C61445026","wikidata":"https://www.wikidata.org/wiki/Q217608","display_name":"Fixed point","level":2,"score":0.4363182783126831},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.42012810707092285},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.41706302762031555},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.3420292139053345},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.32608848810195923},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.2168/lmcs-11(2:13)2015","is_oa":true,"landing_page_url":"https://doi.org/10.2168/lmcs-11(2:13)2015","pdf_url":"https://lmcs.episciences.org/1573/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1503.06022","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1503.06022","pdf_url":"https://arxiv.org/pdf/1503.06022","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:HAL:hal-01263637v1","is_oa":true,"landing_page_url":"https://hal.science/hal-01263637","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, 2014, 11 (2), pp.13. ⟨10.2168/LMCS-11(2:13)2015⟩","raw_type":"Journal articles"},{"id":"pmh:oai:HAL:hal-01974698v1","is_oa":false,"landing_page_url":"https://hal.science/hal-01974698","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, 2015, 11 (2), ⟨10.2168/LMCS-11(2:13)2015⟩","raw_type":"Journal articles"},{"id":"pmh:oai:doaj.org/article:80f5b439a32f4048b0d707cfa6c24b74","is_oa":true,"landing_page_url":"https://doaj.org/article/80f5b439a32f4048b0d707cfa6c24b74","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, Vol Volume 11, Issue 2 (2015)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.2168/lmcs-11(2:13)2015","is_oa":true,"landing_page_url":"https://doi.org/10.2168/lmcs-11(2:13)2015","pdf_url":"https://lmcs.episciences.org/1573/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Decent work and economic growth","score":0.6200000047683716,"id":"https://metadata.un.org/sdg/8"}],"awards":[{"id":"https://openalex.org/G3048660544","display_name":null,"funder_award_id":"W911NF-14-1-","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G3424441068","display_name":null,"funder_award_id":"W911NF-14-1","funder_id":"https://openalex.org/F4320338281","funder_display_name":"Army Research Office"},{"id":"https://openalex.org/G4932002657","display_name":null,"funder_award_id":"W911NF-14-1-0367","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G5524522455","display_name":null,"funder_award_id":"DARPA","funder_id":"https://openalex.org/F4320338281","funder_display_name":"Army Research Office"},{"id":"https://openalex.org/G7452299184","display_name":null,"funder_award_id":"W911NF","funder_id":"https://openalex.org/F4320338281","funder_display_name":"Army Research Office"},{"id":"https://openalex.org/G8424281303","display_name":null,"funder_award_id":"W911NF-14-1-0367","funder_id":"https://openalex.org/F4320338281","funder_display_name":"Army Research Office"},{"id":"https://openalex.org/G8781658353","display_name":null,"funder_award_id":"320823","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8998121839","display_name":null,"funder_award_id":"911NF","funder_id":"https://openalex.org/F4320338281","funder_display_name":"Army Research Office"}],"funders":[{"id":"https://openalex.org/F4320306078","display_name":"U.S. Department of Defense","ror":"https://ror.org/0447fe631"},{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320332815","display_name":"Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320338281","display_name":"Army Research Office","ror":"https://ror.org/05epdh915"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2397775113.pdf","grobid_xml":"https://content.openalex.org/works/W2397775113.grobid-xml"},"referenced_works_count":23,"referenced_works":["https://openalex.org/W42361273","https://openalex.org/W190356767","https://openalex.org/W420776796","https://openalex.org/W1500381309","https://openalex.org/W1526834697","https://openalex.org/W1577544661","https://openalex.org/W1606710205","https://openalex.org/W1996527169","https://openalex.org/W2006445814","https://openalex.org/W2008874720","https://openalex.org/W2056760934","https://openalex.org/W2069941324","https://openalex.org/W2076887398","https://openalex.org/W2097240335","https://openalex.org/W2120595989","https://openalex.org/W2124041499","https://openalex.org/W2126132608","https://openalex.org/W2149596662","https://openalex.org/W2169193349","https://openalex.org/W2175715045","https://openalex.org/W2340390498","https://openalex.org/W2950163139","https://openalex.org/W4247880210"],"related_works":["https://openalex.org/W2972379433","https://openalex.org/W2989332944","https://openalex.org/W2021891065","https://openalex.org/W2583549044","https://openalex.org/W2119045600","https://openalex.org/W2584984136","https://openalex.org/W2170336571","https://openalex.org/W2962928105","https://openalex.org/W2020140696","https://openalex.org/W4234189135"],"abstract_inverted_index":{"We":[0],"develop":[1],"a":[2,12,22,77,101,123],"new":[3],"thermodynamic":[4],"approach":[5],"to":[6,152,177,189],"stochastic":[7],"graph-rewriting.":[8],"The":[9,37,113],"ingredients":[10],"are":[11,51],"finite":[13,23,78],"set":[14,24,79],"of":[15,25,65,80,105,119,125,134,139,148,192],"reversible":[16],"graph-rewriting":[17],"rules":[18,81],"called":[19,29],"generating":[20],"rules,":[21],"connected":[26],"graphs":[27,121],"P":[28],"energy":[30,34,55,73],"patterns":[31,56],"and":[32,57,72,93,122,144,154,165],"an":[33,195],"cost":[35,58],"function.":[36],"idea":[38],"is":[39,108,133,181],"that":[40],"the":[41,44,54,61,70,85,91,109,117,142,149,161],"generators":[42,71],"define":[43],"qualitative":[45,87,143],"dynamics,":[46],"by":[47],"showing":[48],"which":[49,82,106,132,180],"transformations":[50],"possible,":[52],"while":[53],"function":[59],"specify":[60],"long-term":[62,145],"probability":[63],"$\\pi$":[64,107],"any":[66],"reachable":[67],"graph.":[68],"Given":[69],"patterns,":[74],"we":[75],"construct":[76],"(i)":[83],"has":[84],"same":[86],"transition":[88],"system":[89],"as":[90],"generators;":[92],"(ii)":[94],"when":[95],"equipped":[96],"with":[97],"suitable":[98],"rates,":[99],"defines":[100],"continuous-time":[102],"Markov":[103],"chain":[104],"unique":[110],"fixed":[111],"point.":[112],"construction":[114],"relies":[115],"on":[116],"use":[118],"site":[120],"technique":[124],"`growth":[126],"policy'":[127],"for":[128,157,183],"quantitative":[129,146],"rule":[130],"refinement":[131],"independent":[135],"interest.":[136],"This":[137],"division":[138],"labour":[140],"between":[141],"aspects":[147],"dynamics":[150],"leads":[151,188],"intuitive":[153],"concise":[155],"descriptions":[156],"realistic":[158],"models":[159],"(see":[160],"examples":[162],"in":[163,198],"S4":[164],"S5).":[166],"It":[167],"also":[168],"guarantees":[169],"thermodynamical":[170],"consistency":[171],"(AKA":[172],"detailed":[173],"balance),":[174],"otherwise":[175],"known":[176],"be":[178],"undecidable,":[179],"important":[182,196],"some":[184,199],"applications.":[185,200],"Finally,":[186],"it":[187],"parsimonious":[190],"parameterizations":[191],"models,":[193],"again":[194],"point":[197]},"counts_by_year":[{"year":2023,"cited_by_count":2}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}