{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2023,4,11]]，“日期-时间”：“2023-04-11T20:40:34Z”，“时间戳”：1681245634516}，“参考-计数”：23，“出版商”：“通信科学指导中心（CCSD）”，“许可证”：[{“开始”:{“日期-零件”：[2006,3,10]]，”日期-时间“：”2006 03-10T00:00:00Z“，“timestamp”：1141948800000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“https:\/\/arxiv.org\/licenses\/assumed-1991-2003”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[]，”abstract“：”本文描述了并发程序的进度逻辑。该逻辑基于UNITY的逻辑，按照顺序编程模型进行建模。\二者的集成是通过使用辅助变量，以系统的方式将程序计数器合并到程序文本中来实现的。然后修改UNITY中的进度规则以适应此新系统。然而，这种修改非常微妙，使得Owicki和Gries的理论可以在没有任何改变的情况下使用<\/jats:p>“，”DOI“：”10.2168\/lmcs-2（1:6）2006“，”type“：”journal-article“，”created“：{”date-parts“：[[2006,11,23]]，”date-time“：”2006-11-23T09:26:42Z“，”timestamp“：1164274002000}，”source“：第2卷第1期“，”作者“：[{”ORCID“：”http://\/ORCID.org\/00000-0003-0446-3507“，”authenticated-ORCID“：false，”given“：“Brijesh”，“family”：“Dongol”，“sequence”：“first”，“affiliation”：[]}，{“given”：“道格”，“家族”：“戈德森”，“序列”：“附加”，“从属关系”：[]，“成员”：“25203”，“published-online”：{“date-parts”：[[2006,3,10]]}，“参考”：[{“键”：“10.2168\/LMCS-2（1:6）2006_Apt91“，”doi-asserted-by“：”crossref“，”unstructured“：”K.R.Apt和E.R.Olderog。验证顺序和并发程序。Springer-Verlag New York，Inc.，1991.“，”DOI“：”10.1007\/9781-4757-4376-0“}，{“key”：“10.2168\/LMCS-2（1:6）2006_Alpern89”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1145\/59287.62028”}，“key“：”10.2168\/LMCS-2（1:6年份：“1975”，“新闻标题”：“JCSS”}，{“key”：“10.2168\/LMCS-2（1:6）2006_Back89“，”doi-asserted-by“：”crossref“，”unstructured“：”R.J.Back和K.Sere。逐步完善行动系统。《格罗宁根大学成立375周年纪念数学国际会议论文集》，第115-138页，1989年。“，”DOI“：”10.1007\/3-540-51305-1_7“}，{“key”：“10.2168\/LMCS-2（1:6）2006_Chandy88”，“DOI-asserted-by”：“crossref”，“unstructured”：“K.M.Chandy and J。米斯拉。并行程序设计，基础。Addison-Wesley，1988。“，”DOI“：”10.1007\/9781-4613-9668-0_6“}，{“key”：“10.2168\/LMCS-2（1:6）2006_Dijkstra76”，“unstructured”：“E.W.Dijkstra.编程的学科。普伦蒂斯·霍尔，1976。”}，“key“：”10.2168\/LMCS-2（1:6。迪克斯特拉。格里斯-奥维基理论的个人总结。计算机精选作品：个人视角。Springer-Verlag，1982.“，”DOI“：”10.1007\/978-1-4612-5695-3“}，{“key”：“10.2168\/LMCS-2（1:6）2006_deRoever01”，“unstructured”：“W.P.de Roever et al.并发验证：合成和非合成方法简介.剑桥理论计算机科学丛书.剑桥大学出版社，54版，2001”}，“key“：”10.2168 \/LMCS-2（1:6）2006_Feijen99“，”doi-asserted-by“：”crossref“，”unstructured“：”W.H.J.Feijen和A.J.M.van Gasteren“。关于多道程序设计的一种方法。Springer-Verlag，1999.“，“DOI”：“10.1007\/9781-4757-3126-2”}，{“key”：“10.2168\/LMCS-2（1:6）2006_Goldson05”，“非结构化”：“D.Goldson和B.Dongol。Owicki和Gries扩展理论中的并发程序设计。编辑M.Atkinson和F.Dehne，发表于《计算学报：澳大利亚理论研讨会》（CATS 2005）第41卷，澳大利亚纽卡斯尔，2005年。信息技术研究与实践会议。“}，{”key“：”10.2168\/LMCS-2（1:6）2006_Gerth89“，”doi-asserted-by“：”crossref“，”unstructured“：”R.Gerth和A.Pnueli.根统一。《第五届软件规范与设计国际研讨会论文集》，第11-19页，美国宾夕法尼亚州匹兹堡，1989年。ACM出版社。“，”DOI“：”10.1145\/75199.75202“}，{”key“：”10.2168\/LMCS-2（1:6）2006_Gumm99“，”DOI-asserted-by“：”publisher“，”DOI“：“10.1016\/S0304-3975（98）00278-3”}，“key”：“10.2168\/LMCS-2（1:6 10.2168\/LMCS-2（1:6）2006_Lamport87“，”DOI-asserted-by“：”publisher“，”DOI“：”10.1145\/42190.42348“}，{“key”：“10.2168\/LMCS-2（1:6）2006_Lamport94”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/177492.177726”}，{”issue“：”3“，”key“：”10.2168\/LMCS-2（1:6 key“：”10.2168\/LMCS-2（1:6）2006_Misra01“，”doi-asserted-by“：”crossref“，“非结构化”：“J.Misra.A Discipline of Multiprogramming。Springer-Verlag，2001.”，“DOI”：“10.1007 \/978-1-4419-8528-6”}，{“key”：“10.2168 \/LMCS-2（1:6）2006_MP92”，“DOI-asserted-by”：“crossref”，“unstructured”：“Zohar Manna and Amir Pnueli.Reactive and Concurrent Systems:Specification.Springer-Verlag New York，Inc.，1992.”，“DOI”：“10.1007\/978-1-4612-0931-7”}，{“key”：“10.2168\/LMCS-2（1:6）2006_Owicki76”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/360051.360224”}6）2006_Schneider97“，”doi-asserted-by“：”crossref“，”unstructured“：”F.B。施耐德。关于并发编程。Springer-Verlag，1997.“，”DOI“：”10.1007\/978-1-4612-1830-2“}，{”issue“：”6“，”key“：”10.2168\/LMCS-2（1:6）2006_Stomp94“，”DOI-asserted-by“：”crossref“，”first page“：“716”，”DOI:“10.1007\/BF03259394”，“volume”：“6”，“author”：“F.Stomp and W.P.de Roever”，“year”：“1994”，“journal-title”：“Formal Aspects of Computing”}，{“键”：“10.2168\/LMCS-2（1:6）2006_Shankar93”，“doi由“：”publisher“，”doi“：”10.1145\/158439.1588441“}]，”容器标题“：[”计算机科学中的逻辑方法“]，”原始标题“：[]，”语言“：”en“，”链接“：[｛”URL“：”https:\/\/lmcs.episcences.org/2260\/pdf“，”内容类型“：”应用程序\/pdf“，”内容版本“：”vor“，”预期应用程序“：”文本挖掘“｝，｛”URL“：”https:\/\/lmcs.episciences.org\/2260\/pdf“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2023,4,11]]，”date-time“：“2023-04-11T20:50:53Z”，“timestamp”：1681243853000}，“score”：1，“resource”：{“primary”：“{”URL“：”https:\//lmcs.episcinces.org\/2260“}}，”副标题“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[2006,3,10]]}，”references-count“：23，”URL“：”http://\/dx.doi.org\/10.2168\/lmcs-2（1:6）2006“，”relationship“：{is-same-as”：[{“id-type”：“arxiv”，“id”：“cs\/0512012”，“asserted-by”：“subject”}，{“id-type“：”doi“，”id“：”10.48550\/ar Xiv.cs\/0512012“，”断言者“：”subject“}]}，”ISSN“：[”1860-5974“]，”ISSN-type“：[{”value“：”1860-5974“，”type“：”electronic“}]，”subject“：[]，”published“：{”date-parts“：[[2006,3,10]]}}