乐胖代购免代理版

{"id":"https://openalex.org/W1528269269","doi":"https://doi.org/10.2168/lmcs-9(1:9)2013","title":"Generalizing determinization from automata to coalgebras","display_name":"Generalizing determinization from automata to coalgebras","publication_year":2013,"publication_date":"2013-03-04","ids":{"openalex":"https://openalex.org/W1528269269","doi":"https://doi.org/10.2168/lmcs-9(1:9)2013","mag":"1528269269"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.2168/lmcs-9(1:9)2013","pdf_url":"https://lmcs.episciences.org/1087/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_indexed_in_scopus":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},"type":"article","type_crossref":"journal-article","indexed_in":["arxiv","crossref","datacite","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/1087/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100658822","display_name":"Alexandra Silva","orcid":"https://orcid.org/0000-0001-5014-9784"},"institutions":[{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"funder","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Alexandra Silva","raw_affiliation_strings":["CWI - Centrum voor Wiskunde en Informatica (Kruislaan 413 P.O. Box 94079 1090 GB Amsterdam - Netherlands)"],"affiliations":[{"raw_affiliation_string":"CWI - Centrum voor Wiskunde en Informatica (Kruislaan 413 P.O. Box 94079 1090 GB Amsterdam - Netherlands)","institution_ids":["https://openalex.org/I1341640284"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004609161","display_name":"Filippo Bonchi","orcid":"https://orcid.org/0000-0002-3433-723X"},"institutions":[{"id":"https://openalex.org/I4210144566","display_name":"Laboratoire de l'Informatique du Parall\u00e9lisme","ror":"https://ror.org/04msnz457","country_code":"FR","type":"funder","lineage":["https://openalex.org/I100532134","https://openalex.org/I113428412","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I203339264","https://openalex.org/I4210144566"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Filippo Bonchi","raw_affiliation_strings":["LIP - Laboratoire de l'Informatique du Parall\u00e9lisme (46 All\u00e9e d'Italie 69364 LYON CEDEX 07 - France)"],"affiliations":[{"raw_affiliation_string":"LIP - Laboratoire de l'Informatique du Parall\u00e9lisme (46 All\u00e9e d'Italie 69364 LYON CEDEX 07 - France)","institution_ids":["https://openalex.org/I4210144566"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062502864","display_name":"Marcello Bonsangue","orcid":"https://orcid.org/0000-0003-3746-3618"},"institutions":[{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"funder","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832"]},{"id":"https://openalex.org/I4210144566","display_name":"Laboratoire de l'Informatique du Parall\u00e9lisme","ror":"https://ror.org/04msnz457","country_code":"FR","type":"funder","lineage":["https://openalex.org/I100532134","https://openalex.org/I113428412","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I203339264","https://openalex.org/I4210144566"]}],"countries":["FR","NL"],"is_corresponding":false,"raw_author_name":"Marcello Bonsangue","raw_affiliation_strings":["CWI - Centrum voor Wiskunde en Informatica (Kruislaan 413 P.O. Box 94079 1090 GB Amsterdam - Netherlands)","LIP - Laboratoire de l'Informatique du Parall\u00e9lisme (46 All\u00e9e d'Italie 69364 LYON CEDEX 07 - France)"],"affiliations":[{"raw_affiliation_string":"CWI - Centrum voor Wiskunde en Informatica (Kruislaan 413 P.O. Box 94079 1090 GB Amsterdam - Netherlands)","institution_ids":["https://openalex.org/I1341640284"]},{"raw_affiliation_string":"LIP - Laboratoire de l'Informatique du Parall\u00e9lisme (46 All\u00e9e d'Italie 69364 LYON CEDEX 07 - France)","institution_ids":["https://openalex.org/I4210144566"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109295440","display_name":"Jan Rutten","orcid":null},"institutions":[{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"funder","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Jan Rutten","raw_affiliation_strings":["CWI - Centrum voor Wiskunde en Informatica (Kruislaan 413 P.O. Box 94079 1090 GB Amsterdam - Netherlands)"],"affiliations":[{"raw_affiliation_string":"CWI - Centrum voor Wiskunde en Informatica (Kruislaan 413 P.O. Box 94079 1090 GB Amsterdam - Netherlands)","institution_ids":["https://openalex.org/I1341640284"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":0,"currency":"USD","value_usd":0},"apc_paid":null,"fwci":17.382,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":118,"citation_normalized_percentile":{"value":0.999969,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":98,"max":99},"biblio":{"volume":"Volume 9, Issue 1","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9999,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9999,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9979,"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/T11567","display_name":"semigroups and automata theory","score":0.9968,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/coalgebra","display_name":"Coalgebra","score":0.6032393},{"id":"https://openalex.org/keywords/nested-word","display_name":"Nested word","score":0.5145035},{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.49313113},{"id":"https://openalex.org/keywords/dfa-minimization","display_name":"DFA minimization","score":0.46682066},{"id":"https://openalex.org/keywords/bisimulation","display_name":"Bisimulation","score":0.42215353}],"concepts":[{"id":"https://openalex.org/C2778249326","wikidata":"https://www.wikidata.org/wiki/Q1777803","display_name":"Coalgebra","level":3,"score":0.6032393},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.54107445},{"id":"https://openalex.org/C92117001","wikidata":"https://www.wikidata.org/wiki/Q6997829","display_name":"Nested word","level":5,"score":0.5145035},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.49857903},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.49852848},{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.49313113},{"id":"https://openalex.org/C158008952","wikidata":"https://www.wikidata.org/wiki/Q617295","display_name":"Nondeterministic finite automaton","level":4,"score":0.46851444},{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.46838668},{"id":"https://openalex.org/C65753522","wikidata":"https://www.wikidata.org/wiki/Q5204896","display_name":"DFA minimization","level":5,"score":0.46682066},{"id":"https://openalex.org/C194525867","wikidata":"https://www.wikidata.org/wiki/Q5265707","display_name":"Deterministic automaton","level":3,"score":0.46278244},{"id":"https://openalex.org/C116248031","wikidata":"https://www.wikidata.org/wiki/Q214526","display_name":"Automata theory","level":3,"score":0.4271225},{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.42215353},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4092697},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3907907},{"id":"https://openalex.org/C174327141","wikidata":"https://www.wikidata.org/wiki/Q176837","display_name":"Quantum finite automata","level":4,"score":0.38369003},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37626922},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.30278978},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.15885568}],"mesh":[],"locations_count":10,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.2168/lmcs-9(1:9)2013","pdf_url":"https://lmcs.episciences.org/1087/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_indexed_in_scopus":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},{"is_oa":false,"landing_page_url":"https://hal.science/hal-00909339","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":true,"is_in_doaj":false,"is_indexed_in_scopus":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":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":false,"landing_page_url":"https://doaj.org/article/7747c35ce5c94244a1570ec33fc5f981","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":false,"landing_page_url":"https://hal.archives-ouvertes.fr/hal-00909339","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":true,"is_in_doaj":false,"is_indexed_in_scopus":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":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"http://arxiv.org/abs/1302.1046","pdf_url":"http://arxiv.org/pdf/1302.1046","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":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":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://arxiv.org/abs/1302.1046","pdf_url":"https://arxiv.org/pdf/1302.1046.pdf","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":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":["Cornell University"],"type":"repository"},"license":"cc-by-nd","license_id":"https://openalex.org/licenses/cc-by-nd","version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://lmcs.episciences.org/1087","pdf_url":"http://lmcs.episciences.org/1087/pdf","source":{"id":"https://openalex.org/S4377196265","display_name":"CINECA IRIS Institutial research information system (University of Pisa)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I108290504","host_organization_name":"University of Pisa","host_organization_lineage":["https://openalex.org/I108290504"],"host_organization_lineage_names":["University of Pisa"],"type":"repository"},"license":"cc-by-nd","license_id":"https://openalex.org/licenses/cc-by-nd","version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"http://hdl.handle.net/11568/900116","pdf_url":"https://arpi.unipi.it/bitstream/11568/900116/2/Powerset.pdf","source":{"id":"https://openalex.org/S4377196265","display_name":"CINECA IRIS Institutial research information system (University of Pisa)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I108290504","host_organization_name":"University of Pisa","host_organization_lineage":["https://openalex.org/I108290504"],"host_organization_lineage_names":["University of Pisa"],"type":"repository"},"license":"cc-by-nd","license_id":"https://openalex.org/licenses/cc-by-nd","version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"http://hdl.handle.net/1887/57142","pdf_url":"https://scholarlypublications.universiteitleiden.nl/access/item%3A2889279/view","source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":["Royal Netherlands Academy of Arts and Sciences"],"type":"repository"},"license":"cc-by-nd","license_id":"https://openalex.org/licenses/cc-by-nd","version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":false,"landing_page_url":"https://api.datacite.org/dois/10.48550/arxiv.1302.1046","pdf_url":null,"source":{"id":"https://openalex.org/S4393179698","display_name":"DataCite API","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I4210145204","host_organization_name":"DataCite","host_organization_lineage":["https://openalex.org/I4210145204"],"host_organization_lineage_names":["DataCite"],"type":"metadata"},"license":null,"license_id":null,"version":null}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.2168/lmcs-9(1:9)2013","pdf_url":"https://lmcs.episciences.org/1087/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_indexed_in_scopus":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},"sustainable_development_goals":[],"grants":[{"funder":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","award_id":"5755"}],"datasets":[],"versions":["https://openalex.org/W1528269269","https://openalex.org/W3103489195"],"referenced_works_count":48,"referenced_works":["https://openalex.org/W1482332845","https://openalex.org/W1564908027","https://openalex.org/W1576977738","https://openalex.org/W1602605316","https://openalex.org/W1808317016","https://openalex.org/W1972892796","https://openalex.org/W1976268573","https://openalex.org/W1982581840","https://openalex.org/W1984151763","https://openalex.org/W1992761098","https://openalex.org/W1996864014","https://openalex.org/W1997143185","https://openalex.org/W2002089154","https://openalex.org/W2010924417","https://openalex.org/W2019671021","https://openalex.org/W2029554012","https://openalex.org/W2050029209","https://openalex.org/W2057843304","https://openalex.org/W2066725205","https://openalex.org/W2074616186","https://openalex.org/W2075690166","https://openalex.org/W2080394998","https://openalex.org/W2088189323","https://openalex.org/W2098981343","https://openalex.org/W2102097307","https://openalex.org/W2108446683","https://openalex.org/W2110425399","https://openalex.org/W2113109742","https://openalex.org/W2117627793","https://openalex.org/W2120837912","https://openalex.org/W2121001461","https://openalex.org/W2142799663","https://openalex.org/W2144545266","https://openalex.org/W2157619640","https://openalex.org/W2170360311","https://openalex.org/W2176300081","https://openalex.org/W2177291786","https://openalex.org/W2245651640","https://openalex.org/W2489192787","https://openalex.org/W2578729671","https://openalex.org/W3101634683","https://openalex.org/W3144368627","https://openalex.org/W3189472968","https://openalex.org/W4212875940","https://openalex.org/W4239721096","https://openalex.org/W4251554913","https://openalex.org/W4254914297","https://openalex.org/W4302339081"],"related_works":["https://openalex.org/W4205935260","https://openalex.org/W3143588635","https://openalex.org/W2537940722","https://openalex.org/W2368684504","https://openalex.org/W2160879187","https://openalex.org/W2088578754","https://openalex.org/W2030569822","https://openalex.org/W2000290048","https://openalex.org/W1993598446","https://openalex.org/W1975910189"],"abstract_inverted_index":{"The":[0],"powerset":[1,26],"construction":[2,27],"is":[3,42,98,106],"a":[4,9,13,67,87],"standard":[5],"method":[6],"for":[7,46,92,102],"converting":[8],"nondeterministic":[10],"automaton":[11],"into":[12],"deterministic":[14,93],"one":[15],"recognizing":[16],"the":[17,25,31,47,61,95,139,142,159],"same":[18],"language.":[19],"In":[20],"this":[21],"paper,":[22],"we":[23,144],"lift":[24],"from":[28],"automata":[29,94,104],"to":[30,147],"more":[32],"general":[33],"framework":[34,45],"of":[35,50,53,63,69,77,113,115,141,156],"coalgebras":[36],"with":[37],"structured":[38],"state":[39],"spaces.":[40],"Coalgebra":[41],"an":[43],"abstract":[44],"uniform":[48],"study":[49],"different":[51],"kinds":[52],"dynamical":[54],"systems.":[55],"An":[56],"endofunctor":[57],"F":[58],"determines":[59],"both":[60],"type":[62],"systems":[64,79],"(F-coalgebras)":[65],"and":[66,80],"notion":[68],"behavioural":[70],"equivalence":[71,97],"(~_F)":[72],"amongst":[73],"them.":[74],"Many":[75],"types":[76],"transition":[78],"their":[81],"equivalences":[82,151],"can":[83],"be":[84],"captured":[85],"by":[86],"functor":[88],"F.":[89],"For":[90],"example,":[91],"derived":[96],"language":[99],"equivalence,":[100],"while":[101],"non-deterministic":[103],"it":[105],"ordinary":[107],"bisimilarity.":[108],"We":[109],"give":[110],"several":[111,150],"examples":[112],"applications":[114],"our":[116],"generalized":[117],"determinization":[118],"construction,":[119],"including":[120],"partial":[121],"Mealy":[122],"machines,":[123],"(structured)":[124],"Moore":[125],"automata,":[126,129],"Rabin":[127],"probabilistic":[128],"and,":[130],"somewhat":[131],"surprisingly,":[132],"even":[133],"pushdown":[134],"automata.":[135],"To":[136],"further":[137],"witness":[138],"generality":[140],"approach":[143],"show":[145],"how":[146],"characterize":[148],"coalgebraically":[149],"which":[152],"have":[153],"been":[154],"object":[155],"interest":[157],"in":[158],"concurrency":[160],"community,":[161],"such":[162],"as":[163],"failure":[164],"or":[165],"ready":[166],"semantics.":[167]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W1528269269","counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":12},{"year":2020,"cited_by_count":10},{"year":2019,"cited_by_count":7},{"year":2018,"cited_by_count":12},{"year":2017,"cited_by_count":18},{"year":2016,"cited_by_count":13},{"year":2015,"cited_by_count":14},{"year":2014,"cited_by_count":16},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":1}],"updated_date":"2025-04-19T07:39:44.892026","created_date":"2016-06-24"}