{“@context”：“https:\/\/schema.org\/”，“@type”：“ScholarlyArticle”，“@id”：“#article14081”，“name”：“部分可观测并发Kleene代数”，“abstract”：“我们引入部分可观测并行Klene代数（POCKA），一个代数框架，用于推理具有变量的并发程序以及依赖于这些变量的控制结构，如条件和循环。我们通过具体的例子来说明POCKA的使用。我们证明了POCKA是部分观测模型的一个合理且完整的公理化，并表明语义通过了序列一致性的重要检查。“，”keywords“：[”Concurrent Kleene algebration“，”Kleene-algebrary with tests“，”observations“，”axiomatisation“，”complete“，”sequential consistence“]，”author“：[{”@type“：”Person“，”name“：”Wagemaker，Jana“，”givenName“：”Jana“、”familyName“：“Wagemake”，”email“：”mailto:“j.wagemaker@cs.ru.nl“，”sameAs“：”https:\/\/orcid.org\/00000-0002-8616-3905“，”affiliation“：”Radboud University Nijmegen，The Netherlands“}，{”@type“：“Person”，”name“：”Brunet，Paul“，”givenName“：”Paul”，“familyName”：“Brunet”，“sameAss”：“https:\//orcid.org\/000-0002-9762-6872”，“affiliance”：“University College London，UK”，”funding“：”EPSRC grant IRIS（EP\/R006865\/1）。“}，{”@type“：”Person“，”name“：”Docherty，Simon“，”givenName“：”Simon“”，“familyName”：“Docherty”，“sameAs”：“https:\/\/orcid.org\/0000-0001-7523-6630”，“affiliation”：“University College London，UK”，“funding”：“EPSRC grant（EP\/S013008\/1）。“}，{”@type“：”Person“，”name“：”Kapp\u00e9，Tobias“，”givenName“：”Tobias affiliation“：”荷兰奈梅亨Radboud大学“}，{”@type“：”Person“，”name“：”Silva，Alexandra“，”givenName“：”Alexandro“，”familyName“：“Silva”，”sameAs“：”https:\/\/orcid.org\/00000-0001-5014-9784“，”affiliation“：”University College London，UK“}]，”position“：20，”pageStart“：“20:1”，”pageEnd“：”20:22“，”dateCreated“：“2020-08-26”，”datePublished“：”2020-08-2-26“，”isAccessibleForFree“：true，”license“：”https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode“，”copyrightHolder“：[{”@type“：”Person“，”name“：”Wagemaker，Jana“，”givenName“：”Jana“j.wagemaker@cs.ru.nl“，”sameAs“：”https:\/\/orcid.org\/00000-0002-8616-3905“，”affiliation“：”Radboud University Nijmegen，The Netherlands“}，{”@type“：“Person”，”name“：”Brunet，Paul“，”givenName“：”Paul”，“familyName”：“Brunet”，“sameAss”：“https:\//orcid.org\/000-0002-9762-6872”，“affiliance”：“University College London，UK”，”funding“：”EPSRC grant IRIS（EP\/R006865\/1）。“}，{”@type“：”Person“，”name“：”Docherty，Simon“，”givenName“：”Simon“”，“familyName”：“Docherty”，“sameAs”：“https:\/\/orcid.org\/0000-0001-7523-6630”，“affiliation”：“University College London，UK”，“funding”：“EPSRC grant（EP\/S013008\/1）。“}，{”@type“：”Person“，”name“：”Kapp\u00e9，Tobias“，”givenName“：”Tobias affiliation“：”荷兰奈梅亨Radboud大学“}，{”@type“：”Person“，”name“：”Silva，Alexandra“，”givenName“：”Alexandro“，”familyName“：“Silva”，”sameAs“：”https:\/\/orcid.org\/00000-0001-5014-9784“，”affiliation“：”University College London，UK“}]，”copyrightYear“：”2020“，”accessMode“：”textual“，”AccessModeFufficient“：”extual“”，”creativeWorkStatus“：”Published“，”inLanguage“：”en-US“，”same As“https:\/\/doi.org\/10.4230\/LIPIcs。CONCUR.2020.20“，“资金”：“ERC启动拨款ProFoundNet（679127）。“，”publisher“：”Schloss Dagstuhl\u2013 Leibniz-Zentrum f\u00fcr Informatik“，”引文“：[”https:\\/doi.org\/10.1007\/978-3642-19835-9_5“，”https://doi.org\/10.1145\/2535838.2535862“，”https:\\/dio.org\/10.1007\/9783-030-17127-8_12“，\/doi.org\/10.1016\/0304-3975（88）90124-7“，”https:\/\/doi.org\/10.1007\/978-3642-04081-8_27“，”https:\//doi.org\/10.1016\/j.jlamp.2015.12.005“，”https:\/\\/doi.org\/10.4230\/LIPIcs。CONCUR.2019.41“，”https:\\/doi.org\/10.1007\/978-3-030-45231-5_20“，”https:\\/doi.org\/10.1006\/inco.1994.1037“，“https:\\/doi.org\/10.1007\/3-540-61042-1_35”，“http:\\//doi.org\/10.1145\/343369.343378”，“HTTP:\\/doi.org\/10.007\/BFb0032022”，“http://doi.org“，”https:\/\/doi.org\/10.1007\/978-319-06251-8_5“，”https:\/\/doi.org\/10.1016\/S0304-3975（00）00031-1“，”https:\//doi.org\/10.109\/LICS.2002.1029817“，”https:\/\\/doi.org\\10.1145\/321312.321326“，”http://\/arxiv.org\/abs\/2007.07593“]，“isPartOf”：{“@type”：“PublicationVolume”，“@id”：“#volume6374”，“volumeNumber”：171，“name”：“第31届并行理论国际会议（CONCUR 2020）“dateCreated“：”2020-08-26“，”datePublished“：”2020年8月26日“，”editor“：[{”@type“：”Person“，”name“：”Konnov，Igor“，”givenName“：”Igor”，“familyName”：“Konnov”，“email”：“mailto:”igor@informal.systems“，”sameAs“：”https:\/\/orcid.org\/00000-0001-6629-3377“，”affiliation“：”非正式系统，维也纳，奥地利“}，{“@type”：“Person”，“name”：“Kov\u00e1cs，Laura”，“givenName”：“Laura“，”familyName“：”Kov\u 00e1CS“，”email“：”mailto:“lkovacs@forsyte.tuwien.ac.at邮箱“，”sameAs“：”https:\/\/orcid.org\/00000-0002-8299-2714“，”affiliation“：”TU Wien，Austria“}]，”isAccessibleForFree“：true，”publisher“：“Schloss Dagstuhl\u2013 Leibniz-Zentrum f\u00fcr Informatik”，“hasPart”：“#article14081”，“isPartOf”：{“@type”：”Periodical“，”@id“：”#series116“，”name“：”Leibniz International Proceedings in Informatics“，”issn“：“1868-8969”，“isAccessibleForFree“：true，”publisher“：”Schloss Dagstuhl\u2013莱布尼兹-泽特鲁姆f\u00fcr Informatik“，”hasPart“：“#volume6374”}}“