{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,6,10]]，“日期-时间”：“2024-06-10T21:53:51Z”，“时间戳”：1718056431216}，“引用-计数”：51，“发布者”：“Elsevier BV”，“许可证”：[{“开始”：{“日期-零件”：[[2024,1,1]]，”日期-时间“：”2024-01-01T00:00:00Z“，”timestamp“：170406720000}，”content-version“：“tdm”，“delay-in-days”：0，“URL”：“https:\\/www.elsevier.com//tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2023,9,19]]，“date-time”：“2023-09-19T00:00:00Z”，“timestamp”：1695081600000}，“content-version”：“vor”，“delay-in-days”：“0，”URL“http://creativecommons.org\/licensese\/by\/4.0\/“}]，“内容域”：{“域”：[“elsevier.com”，“sciencedirect.com”]，“crossmark-restriction”：true}，“short-container-title”：[“Journal of Logical and Algebraic Methods in Programming”]，“published-print”：{“date-parts”：[[2024,1]]}，”DOI“：”10.1016\/j.jlamp.2023.100919“，”type“：”Journal-article“，”created“：{”date-part“：[2023,9,21]]，”date-time“：”2023-09-21T01:17:17Z“，”timestamp“：169525903700}，100919英寸，“update-policy”：“http://\/dx.doi.org\/10.1016\/elsevier_cm_policy“，”source“：”Crossref“，“is-referenced-by-count”：2，“title”：[“分支词组：舞蹈设计、表现力和应用程序”]，“前缀”：“10.1016”，“卷”：“136”，“作者”：[{“ORCID”：”http://\/ORCID.org\/00000-0002-6011-9535“，”authenticated-ORCID“：false，”given“Luc”“，”家庭“：“Edixhoven”，“sequence”：“first”，“affiliation”：[]｝，｛“give”：“Sung Shik”，“family”：“Jongmans”，“sequence”：“additional”，“affiliation”：[]｝，｛“give”：“Jos\u00e9”，“family”：“Proen\u00e7a”，“sequence”：“additional”，“affiliation”：[]｝，｛“give”：“Ilaria”，“family”：“Castellani”，“sequence”：“additional”，“affiliation”：[]｝]，“member”：“78”，“引用”：[｛”键“：“10.1016\/j.jlamp.2023.100919_br0010”，“非结构化”：“ITU，ITU-t建议z.120。消息序列图（MSC），2011.“}，{”issue“：”1“，”key“：”10.1016\/j.jlamp.2023.100919_br0020“，”doi-asserted-by“：”crossref“，”first-page“：”97“，”doi“：”101016\/j.tcs.2004.09.034“，”article-title“：”MSC图形的可实现性和验证“，”volume“：.科学“}，{”键“：”10.1016\/j.jlamp.2023.100919_br0030“，“series-title”：“第35届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集”，“首页”：“273”，“文章-title”：“多方异步会话类型”，“作者”：“本田”，“年份”：“2008”}，{“问题”：“1”，“关键”：“10.1016\\j.jlamp.2023.100929_br0040”，“doi-asserted-by”：“crossref”，“首页“：”9:1“，”DOI“：”10.1145\/2827695“，”article-title“：”多方异步会话类型“，”volume“：”63“，”author“：”Honda“，”year“：”2016“，”journal-title”：“J.ACM”}，{“key”：“10.1016\/J.jlamp.2023.100919_br0050”，”series-title“：“第40届ACM SIGPLAN-SIGACT编程语言原理研讨会”，“首页”：“263”，“article-title“：”死锁-自由-by-design:多方异步全局编程“，”author“：”Carbone“，”year“：”2013“}，{”key“：”10.1016\/j.jlamp.2023.100919_br0060“，”doi-asserted-by“：”crossref“，”first page“：，“年：“2020年”，“新闻标题”：“Theor”。计算。科学。“}，{”issue“：”1\u20132“，”key“：”10.1016\/j.jlamp.2023.100919_br0070“，”doi-asserted-by“：”crossref“，”首页“：”19“，”doi“：”101016\/j.tcs.2004.07.004“，”article-title“：”会话协议：反应式电子服务规范和验证的形式主义“，”volume“：理论。计算。科学。“}，{”key“：”10.1016\/j.jlamp.2023.100919_br0080“，”series-title“：”Web服务和形式方法“，”首页“：”110“，”article-title“：“可实现性是可控性”，”volume“：“vol.6194”，”author“：”Lohmann“，”year“：”2009“}”，{第39届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集”，“首页”：“191”，“文章标题”：“决定编舞的可实现性”，“作者”：“巴苏”，“年份”：“2012”}，{“关键”：“10.1016\/j.jlamp.2023.100919_br0100”，“系列标题”：《信息与知识系统基础——第十一届国际研讨会》，“首页“：”263“，”article-title“：”编舞的现实性“，”volume“：”vol.12012“，”author“：”Schewe“，”year“：”2020“}，{“key”：“10.1016\/j.jlamp.2023.100919_br0110”，“series-title”：“第36届欧洲面向对象编程会议”，“首页”：“27:1”，“article-title”：”多方会话类型的API生成，使用scala 3重新访问和修订“，”volume“：”vol.222“，”author“：”Cledou“，”year“：”2022“}，{“key”：“10.1016\/j.jlamp.2023.100919_br0120”，“series-title”：“编程语言和系统-第21届欧洲编程研讨会”，“首页”：“194”，“article-title”：多方会话类型满足通信自动机“，”author“：”Deni\u00e9lou“，”year“：”2012“}，{”key“：”10.1016\/j.jlamp.2023.100919_br0130“，”doi-asserted-by“：”crossref“，”first page“：“69”，”doi“：”101016\/j.jlamp.2019.06.003“，”article-title“：”pomsets的可实现性“，”volume“”：“108”，“author”：“Guanciale”，“year”：“2019”，“新闻标题”：“j。日志。代数方法课程。“}，{”issue“：”1“，”key“：”10.1016\/j.jlamp.2023.100919_br0140“，”doi-asserted-by“：”crossref“，”first-page“：”85“，”doi“：”101016\/0304-3975（81）90112-2“，”article-title“：”Petri网，事件结构和域，第一部分“，”volume“：“13”，“author”：“Nielsen”，“year”：“1981”，“journal-title”：“Theor.Comput.Sci.”，{“key”：“10.1016\/j.jlamp.2023.100919_br0150”，“article-title“：“多方会议的事件结构语义”，“volume”：“131”，“author”：“Castellani”，“year”：“2023”，“journal-title”：“J.Log。代数方法程序。“}，{”key“：”10.1016\/j.jlamp.2023.100919_br0160“，”series-title“：”Proceedings 15th Interaction and Concurrency Experience“，”first page“：“37”，”article-title“：“编舞用分叉pomsets”，“volume”：“vol.365”，“author”：“Edixhoven”，”year“2022”}，“key”：组件软件的形式方面-第18届国际会议”，“首页”：“185”，“article-title”：“分支pomsets的可实现性”，“卷”：“vol.13712”，“作者”：“Edixhoven”，年：“2022”}，{“问题”：“1”，“键”：“10.1016\/j.jlamp.2023.100919_br0180”，“doi-asserted-by”：“crossref”，”首页“33”，“doi”：“10.0007\/BF01379149”，“文章标题”：“用部分订单建模并发“，“volume”：“15”，“author”：“Pratt”，“year”：“1986”，“journal-title”：“Int.J.Parallel Program”。“}，{”key“：”10.1016\/j.jlamp.2023.100919_br0190“，”series-title“：”计算中的事件“，”author“：”Winskel“，”year“：”1980“}、{”issue“：”1“，”key”：“10.1016\/j.jlamp.2023.10919_br 0200”，“article-title”：“事件结构中的动态因果关系”，“volume”：”14“，”“author”：“Arbach”，“year”：“2018”，“journal-title“：“Log.Methods Compute”。科学“}，{”键“：”10.1016\/j.jlamp.2023.100919_br0210”，“系列标题”：“ICALP”，“第一页”：“561”，“文章标题”：“CCS和相关语言的事件结构语义”，“卷”：“第140卷”，“作者”：“Winskel”，“年”：“1982”}，｛“键”：“10.1016\/j.jlamp.2023.100919_br0220”，“系列标题”：“分布式系统和通信协议的形式化描述技术”，“第一页”：“331”，“article-title”：“捆绑事件结构：LOTOS的非相互离合语义”，“author”：“Langerak”，“year”：“1993”}，{“key”：“10.1016\/j.jlamp.2023.100919_br0230”，“series-title”：REX：逻辑和并发模型中的线性时间、分支时间和偏序”，“首页”：“411”，“文章标题”：“转换的排列：CCS和SCCS的事件结构语义”，“卷”：“第354卷”，“作者”：“Boudol”，“年份”：“1988”}，{“key”：“10.1016\/j.jlamp.2023.100919_br0240”，“series-title”：“分布式计算的流模型：事件结构和网络”，“author”：“Boudol”，“year”：“1991”}，{“issue”：“1”，“key”：“10.1016\/j.jlamp.2023.100919_br0250”，“doi-asserted-by”：“crossref”，“first-page:”1“，”doi“：”10.1006\/inco.2001.3060“，”article-title“：”上下文Petri网，非对称事件结构和过程“，”volume“：”171“，”author“：”Baldan”，“年份”：“2001年”，“新闻标题”：“Inf.Comput。“}，{”key“：”10.1016\/j.jlamp.2023.100919_br0260“，”series-title“：”LOTOS的转换和语义“，”author“：”Langerak“，”year“：”1992“}”，{“key”：“10.1016\/j.jlamp.2023.10919_br 0270”，“series-ttle”：“TAPSOFT”，“first page”：”123“，”article-title“：“On semantical of concurrency:partial orders and transition systems”，“vol.249”，“作者“：”Boudol“，”year“：”1987“}，{“key”：“10.1016\/j.jlamp.2023.100919_br0280”，“series-title”：“2004年计算机科学数学基础，第29届国际研讨会”，“首页”：“550”，“article-title”：”可解决冲突的事件结构“，”volume“：”vol.3153“，”author“：”van Glabbeek“，”year“：“2004”}，”{“key“：“10.116\/j.jlamp.2023.10919_br 0290”，“series-title“：”Formale Beschreibungstechniken f \u00fcr verteilte Systeme，8。GI\/ITG-Fachgespr\u00e4ch，科特布斯，4。和5。Juni 1998”，“首页”：“197”，“article-title”：“MSC的Pomsets”，“author”：“Katoen”，“year”：“1998”}，{“issue”：“3”，“key”：“10.1016\/j.jlamp.2023.100919_br0300”，“doi-asserted-by”：“crossref”，《首页》：“155”，”doi“10.1007\/s002360100070”，“article-title”：“带动作依赖的过程代数”，“volume”：”38“，”author“：”Rensink“，”year“：”2001“，”journal-title“：”Acta Inform。“}，{”key“：”10.1016\/j.jlamp.2023.100919_br0310“，”series-title“：”双模拟和共创简介“，”author“：”Sangiorgi“，”year“：”2011“}”，{“key”：“10.1016\/j.jlamp.2023.10919_br 0320”，“series-ttle”：“编舞分支pomset（技术报告）”，“author”：“Edixhoven”，“year”：“2022”}，”{“key”：“1016\/j.jlamp.2023.100919_br0330“，”series-title“：”分支pomsets的可实现性（技术报告）“，”author“：”Edixhoven“，”year“：”2022“}，{”issue“：”2“，”key“：”10.1016\/j.jlamp.2023.100919_br0340“，”doi-asserted-by“：”crossref“，年份“：”1983“，”journal-title“：”J.ACM“}，{“key”：“10.1016\/J.jlamp.2023.100919_br0350”，“series-title”：“第十三届模式识别国际会议，ICPR”，“首页”：“180”，“article-title”：”使用上下文转换模型进行ARG图非精确匹配的有效算法“，”author“：”Cordella“，”year“：”1996“}”，{”key“：”10.1016\/j.jlamp.2023.100919_br0360“，”doi-asserted-by“：”crossref“，”first page“：”17“，”doi“：”10.1016\/j.jlamp.2017.11.002“，”article-title“：”全球编舞视角的语义“，”volume“：“95”，”author“：”Tuosto“，”year“：”2018“，”journal-title”：“j.Log。代数方法程序。“}，{”issue“：”7“，”key“：”10.1016\/j.jlamp.2023.100919_br0370“，”doi-asserted-by“：”crossref“，”first page“：“623”，”doi“：”101109\/TSE.2003.1214326“，”article-title“：”消息序列图推断“，”volume“:”29“，”author“：”Alur“，“year”：“2003”，”journal-title”：“IEEE Trans.Softw.Eng.”}，”{“key”：“10.1109”016\/j.jlamp.2023.100919_br0380“，”系列标题“：”第44届国际自动化、语言和编程学术讨论会，2017年7月10日至14日，波兰华沙，ICALP 2017，“首页”：“122:1”，“文章标题”：“通信有限状态机的同步性不可判定”，“卷”：“第80卷”，“作者”：“芬克尔”，“年份”：“2017”}，{“密钥”：“10.1016\/jlamp.2023.100919_br0390”，“论文标题”：A Calculus of Communicating Systems“，”volume“：”vol.92“，”author“：”Milner“，”year“：”1980“}，{“key”：“10.1016\/j.jlamp.2023.100919_br0400”，“series-title”：“Pi-Calculus-A Theory of Mobile Processes”，“author”：“Sangiorgi”，“year”：“2001”}，“key“：Web服务的形式方法，第九国际计算机、通信和软件系统设计形式方法学校”，“首页”：“187”，“文章标题”：“异步会话类型：例外和多方交互”，“卷”：“第5569卷”，“作者”：“Carbone”，“年份”：“2009”}，{“问题”：“4”，“密钥”：“10.1016\/j.jlamp.2023.100919_br0420“，“article-title”：“参数化多方会话类型”，“卷”：“8”，“作者”：“Deni\u00e9lou”，“年份”：“2012”，“日志标题”：“日志”。方法计算。科学。“}，{”issue“：”POPL“，”key“：”10.1016\/j.jlamp.2023.100919_br0430“，”doi-asserted-by“：”crossref“，“first page”：“30:1”，“doi”：“10.1145\/3290343”，“article-title”：“少即是多：重访多方会话类型”，“volume”：”3“，”author“：”Scalas“，”year“：”2019“，”journal-title“：”Proc.ACM Program.Lang.“}”，{“issue”：“1”，“键”：“10.1016\/j.jlamp.2023.100919_br0440“，”article-title“：“关于全球类型和多方会议”，“卷”：“8”，“作者”：“卡斯塔尼亚”，“年份”：“2012”，“日志标题”：“日志”。方法计算。科学。“}，{”key“：”10.1016\/j.jlamp.2023.100919_br0450“，”series-title“：”编程语言和系统-第23届欧洲编程研讨会“，”first page“：“493”，”article-title“：“解决舞蹈编舞中的非决定论”，“volume”：“vol.8410”，“author”：“Bocchi”，“year”：“2014”}，“issue”：“7\u20138”，“key”：”10.106\/jlamp.2023.10919_br 0460“，“”doi-asserted-by“：”crossref“，”first page“：”553“，”doi“：”10.1007\/s00236-019-00332-y“，”article-title“：”灵活选择的可逆会话“，”volume“：“56”，“author”：“Castellani”，“year”：“2019”，“journal-title”：“Acta Inform”。“}，{”key“：”10.1016\/j.jlamp.2023.100919_br0470“，”series-title“：”编程语言和系统-第29届欧洲编程研讨会“，”first page“：“251”，”article-title“：“探索类型级的双重相似性以获得更具表现力的多方会话类型”，“volume”：“vol.12075”，“author”：“Jongmans”，“year”：“2020”}，”{“issue”：“1\u20132”，“key”：”10.1016\/j.jlamp.2023.100919_br0480“，”doi-asserted-by“：”crossref“，”first page“：”203“，“doi”：“10.1016\/S0304-3975（96）00104-1”，“article-title”：“事件结构的并行乘积”，“volume”：“179”，“author”：“Castellani”，“year”：“1997”，“journal-title“：”Theor。计算。科学。“}，{”key“：”10.1016\/j.jlamp.2023.100919_br0490“，”doi-asserted-by“：”crossref“，”first page“：“130”，”doi“：”101016\/j.jlamp.2018.12.001“，”article-title“：”On series-parallel pomset languages:rational，context-freess and automata“，”volume“103”，”author“：”Kapp\u00e9“，”year“：”2019“，“journal-title”：“j.Log.Algebraic”方法程序。“}，{”问题“：”1“，”key“：”10.1016\/j.jlamp.2023.100919_br0500“，”doi-asserted-by“：”crossref“，”first page“：“137”，“doi”：“10.1145\/245.2460”，”article-title“：”不确定性和并发性的代数定律“，”volume“:”32“，”author“：”Hennessy“，”year“1985”，“journal-title”：“j.ACM”}，{“key”：“1016\/j.jlamp.2023.100919_br 0510”，“series-title”：“TAPSOFT’91：《软件开发理论与实践国际联合会议论文集》，“第一页”：“29”，“文章标题”：“扩展扩展定理”，“卷”：“第494卷”，“作者”：“费拉里”，“年份”：“1991”}，“容器标题”：[“程序设计中的逻辑和代数方法杂志”]，“原文标题”：[]，“语言”：“en”，“link“：[{”URL“：”https:\/\/api.elsevier.com/content\/article\/PII:S2352220823000731？httpAccept=text\/xml“，”content-type“：”text\/xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，{”URL:“https:\//api.elsevier.com/content\/aarticle\/PII:S235022208230000731？httpAccess=text\/plain“，”内容类型“：”文本\/plaine“，”content-version“：”vor“，”intended-application“：”text-mining“}]，”deposed“：{”date-parts“：[2024,1,27]]，”date-time“：”2024-01-27T22:58:18Z“，”timestamp“：1706396298000}，”score“：1，”resource“：”{“primary”：{“URL”：“https:\/\/linkinghub.elsevier.com\/retrieve\/pi\/S2352220823000731”}}}，“subtitle”：[]，“shorttitle”：[]，“issued”：“：[[2024,1]]}，”引用计数“：51，”备选id“：[”S2352220823000731“]，“URL”：“http:\/\/dx.doi.org/10.1016\/j.jamp.2023.100919”，“relationship”：｛｝，“ISSN”：[“2352-2208”]，“ISSN type”：[｛“value”：“2352-2208”，“type”：“print”｝]，“subject”：[]，“published”：｛“date parts”：[[2024,1]]}，“assertion”：[｛“value”：“Elsevier”，“name”：“publisher”，“label“：”此文章由“｝，｛”value“维护：”分支词组：设计、表现力和舞蹈编导应用”，“name”：“articletitle”，“label”：“Article Title”}，{“value”：“Journal of Logical and Algebraic Methods in Programming”，“name”：“journaltitle”、“label“：”Journal Title“}，”{“value”：“https:\/\/doi.org\/10.1016\/j.jlamp.2023.100919”，“名称”：“rticlelink”，“标签”：“”CrossRef DOI链接到出版商维护的版本“}”，{“value”：“article”，“name”：“content_type”，“label”：“content-type”}，{”value“：”\u00a9 2023 The Author（s）s.Published by Elsevier Inc.“，”name“：”copyright“，”label“：”Copyrightly“}]，”article-number“：“100919”}