{"id":"https://openalex.org/W3032311054","doi":"https://doi.org/10.29007/qp92","title":"Models of Concurrent Kleene Algebra","display_name":"Models of Concurrent Kleene Algebra","publication_year":2020,"publication_date":"2020-05-27","ids":{"openalex":"https://openalex.org/W3032311054","doi":"https://doi.org/10.29007/qp92","mag":"3032311054"},"language":"en","primary_location":{"id":"doi:10.29007/qp92","is_oa":true,"landing_page_url":"https://doi.org/10.29007/qp92","pdf_url":"https://easychair.org/publications/open/6C8R","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://easychair.org/publications/open/6C8R","any_repository_has_fulltext":false},"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/I45129253","display_name":"University College London","ror":"https://ror.org/02jx3x895","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I45129253"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Alexandra Silva","raw_affiliation_strings":["University College London, UK"],"affiliations":[{"raw_affiliation_string":"University College London, UK","institution_ids":["https://openalex.org/I45129253"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5100658822"],"corresponding_institution_ids":["https://openalex.org/I45129253"],"apc_list":null,"apc_paid":null,"fwci":0.1326,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.52545644,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"73","issue":null,"first_page":"516","last_page":"514"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9993000030517578,"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.9993000030517578,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9983000159263611,"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/kleene-algebra","display_name":"Kleene algebra","score":0.9526139497756958},{"id":"https://openalex.org/keywords/kleenes-recursion-theorem","display_name":"Kleene's recursion theorem","score":0.673578679561615},{"id":"https://openalex.org/keywords/sequential-consistency","display_name":"Sequential consistency","score":0.6242881417274475},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6173422932624817},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.5653313398361206},{"id":"https://openalex.org/keywords/algebraic-structure","display_name":"Algebraic structure","score":0.5640192031860352},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.48620977997779846},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.473396897315979},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.4662327468395233},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4592883288860321},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2767608165740967},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2520935535430908},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.24413293600082397},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.18672829866409302},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1155053973197937},{"id":"https://openalex.org/keywords/consistency-model","display_name":"Consistency model","score":0.10429313778877258}],"concepts":[{"id":"https://openalex.org/C206470798","wikidata":"https://www.wikidata.org/wiki/Q2634506","display_name":"Kleene algebra","level":2,"score":0.9526139497756958},{"id":"https://openalex.org/C123260079","wikidata":"https://www.wikidata.org/wiki/Q1933521","display_name":"Kleene's recursion theorem","level":2,"score":0.673578679561615},{"id":"https://openalex.org/C82029504","wikidata":"https://www.wikidata.org/wiki/Q4373882","display_name":"Sequential consistency","level":4,"score":0.6242881417274475},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6173422932624817},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.5653313398361206},{"id":"https://openalex.org/C182419690","wikidata":"https://www.wikidata.org/wiki/Q205464","display_name":"Algebraic structure","level":2,"score":0.5640192031860352},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.48620977997779846},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.473396897315979},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.4662327468395233},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4592883288860321},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2767608165740967},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2520935535430908},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.24413293600082397},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.18672829866409302},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1155053973197937},{"id":"https://openalex.org/C37279795","wikidata":"https://www.wikidata.org/wiki/Q2492305","display_name":"Consistency model","level":3,"score":0.10429313778877258},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","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/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.29007/qp92","is_oa":true,"landing_page_url":"https://doi.org/10.29007/qp92","pdf_url":"https://easychair.org/publications/open/6C8R","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.29007/qp92","is_oa":true,"landing_page_url":"https://doi.org/10.29007/qp92","pdf_url":"https://easychair.org/publications/open/6C8R","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},"sustainable_development_goals":[{"display_name":"Decent work and economic growth","score":0.699999988079071,"id":"https://metadata.un.org/sdg/8"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3032311054.pdf","grobid_xml":"https://content.openalex.org/works/W3032311054.grobid-xml"},"referenced_works_count":5,"referenced_works":["https://openalex.org/W3008933585","https://openalex.org/W3023372902","https://openalex.org/W3043451820","https://openalex.org/W3082845044","https://openalex.org/W4289286836"],"related_works":["https://openalex.org/W2471495717","https://openalex.org/W1549533980","https://openalex.org/W1007073359","https://openalex.org/W2951618619","https://openalex.org/W2970531535","https://openalex.org/W1565669300","https://openalex.org/W3032311054","https://openalex.org/W3043451820","https://openalex.org/W3082845044","https://openalex.org/W29329506"],"abstract_inverted_index":{"Kleene":[0,36,64,76,109],"Algebra":[1,37,65,110],"and":[2,59,95,121,155,171,193],"variants":[3,34],"thereof":[4],"have":[5],"been":[6],"successfully":[7],"used":[8],"in":[9,24,40,137,161],"verification":[10,48],"of":[11,26,35,49,108,124,127,134,140,180],"se-":[12],"quential":[13],"programs.":[14,51],"The":[15,158],"leap":[16],"to":[17,31,45,84,114],"concurrent":[18,33,63,75,87],"programs":[19,88,145],"offers":[20,80],"many":[21],"challenges,":[22],"both":[23],"terms":[25],"devising":[27],"the":[28,42,132,135,138],"right":[29,43],"foundations":[30],"study":[32],"but":[38],"also":[39],"finding":[41],"models":[44],"enable":[46],"effective":[47],"relevant":[50],"In":[52],"this":[53,162],"talk,":[54],"we":[55],"will":[56,98],"review":[57],"existing":[58],"ongoing":[60],"work":[61,159],"on":[62,69,167],"with":[66,89,175],"a":[67,70,101,119,125,176],"focus":[68],"variant":[71],"called":[72],"partially":[73],"observable":[74],"algebra":[77],"(POCKA).":[78],"POCKA":[79,117],"an":[81],"algebraic":[82],"framework":[83,136],"reason":[85],"about":[86],"control":[90],"structures,":[91],"such":[92],"as":[93,147],"conditionals":[94],"loops.":[96],"We":[97,130],"show":[99],"how":[100],"previously":[102],"developed":[103],"technique":[104],"for":[105],"com-":[106],"pleteness":[107],"can":[111],"be":[112],"lifted":[113],"prove":[115],"that":[116],"is":[118,165,173],"sound":[120],"complete":[122],"axiomatization":[123],"model":[126],"partial":[128],"observations.":[129],"illustrate":[131],"use":[133],"analysis":[139],"sequential":[141],"consistency,":[142],"i.e.,":[143],"whether":[144],"behave":[146],"if":[148],"memory":[149],"accesses":[150],"taking":[151],"place":[152],"were":[153],"interleaved":[154],"executed":[156],"sequentially.":[157],"described":[160],"invited":[163],"talk":[164],"based":[166],"[1,":[168],"2,":[169],"3],":[170],"it":[172],"joint":[174],"won-":[177],"derful":[178],"group":[179],"people:":[181],"Paul":[182],"Brunet,":[183],"Simon":[184],"Docherty,":[185],"Tobias":[186],"Kapp":[187],"\u0301e,":[188],"Jurriaan":[189],"Rot,":[190],"Jana":[191],"Wagemaker,":[192],"Fabio":[194],"Zanasi.":[195]},"counts_by_year":[{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}