×
乌戈·德利古罗;埃尔南·梅尔格拉蒂;埃米利奥·托斯托

朝着重新设计的舞蹈设计迈进。 （英语） Zbl 07531443号

J.日志。阿尔盖布。方法计划。 127，文章ID 100776，25 p.（2022）.
小结：我们在编舞的背景下研究精细化。我们引入了可重新定义的全局编舞，允许协议的未指定，其交互可以细化为实际的协议。任意的改进可能会破坏形式良好，这是保证协议可实现的充分条件。我们引入了一种打字规则，它加强了打字编排的规范性。然后，我们根据公理方案揭示了可再加工编舞及其可接受细化之间的关系。

理学硕士：

68倍 计算机科学

关键词：

编舞;精炼;打字
PDF格式BibTeX公司 XML格式引用
\textit{U.de’Liguoro}等人，J.Log。阿尔盖布。方法计划。127，文章ID 100776，25 p.（2022；Zbl 07531443）
全文： 内政部 arXiv公司

参考文献：

[1] 德利古罗，美国。；梅尔格拉蒂，H.C。；Tuosto，E.，《走向可再融资的编舞》，（Lange，J.；Mavridou，A.；Safina，L.；Scalas，A.，《第13届交互与并发体验会议录》，ICE 2020，在线，2020年6月19日。第13期交互和并发体验。《第13届交互与并发体验会议录》，ICE 2020，在线，2020年6月19日，EPTCS，第324卷（2020）），61-77·Zbl 1477.68178号
[2] Dijkstra，E.W.，《程序设计学科》（1976），普伦蒂斯·霍尔出版社·Zbl 0368.68005号
[3] 北卡罗来纳州卡万察。；Burdett，D。；Ritzinger，G。；弗莱彻，T。；Lafon，Y.，Web服务编排描述语言1.0版（2004）
[4] 巴兹勒，D。；Degano，P。；法拉利，G.-L。；Tuosto，E.，《将两个基于自动机的编配和舞蹈模型联系起来》，J.Log。代数方法程序。，85, 3, 425-446 (2016) ·Zbl 1352.68125号
[5] Börger，E.，《业务流程建模方法：对BPMN、工作流模式和YAWL的批判性分析》，Softw。系统。型号。，11, 3, 305-318 (2012)
[6] 卡博尼，M。；蒙特西，F。；Vieira，H.T.，《反应式节目编排》（2018），CoRR
[7] Tuosto，E。；Guanciale，R.，《全球编舞视角的语义学》，J.Log。代数方法程序。，95, 17-40 (2018)
[8] Guanciale，R。；Tuosto，E.，《编舞全球观的抽象语义》，（第九届交互与并发体验会议录。第九届互动与并发体验大会录，ICE 2016。第九届会议录互动与并发体验。《第九届交互与并发体验会议录》，ICE 2016，EPTCS，第223卷（2016）），67-82·Zbl 1433.68203号
[9] 尼尔森，M。；Plotkin，G.D。；Winskel，G.，Petri网，事件结构和域，第一部分，Theor。计算。科学。，13, 85-108 (1981) ·Zbl 0452.68067号
[10] 丙酮，L。；Hennessy，M.，《向有限过程代数添加动作求精》，Inf.Compute。，115, 2, 179-247 (1994) ·兹伯利0834.68077
[11] van Glabbeek，R.J。；Goltz，U.，并发系统的等价概念和动作的精化（扩展抽象），（《1989年计算机科学的数学基础》，MFCS’89，Proceedings.Mathematical Foundations of Computer Science 1989，MFCS'89，Procedues，Teach Notes in Computer Science，vol.379（1989），Springer），237-248·Zbl 0755.68095号
[12] Darondeau，P。；Degano，P.，事件结构和因果树中行为的精化，Theor。计算。科学。，118, 1, 21-48 (1993) ·Zbl 0805.68041号
[13] Pratt，V.R.，用部分顺序建模并发，国际并行程序杂志。，15, 1, 33-71 (1986) ·兹比尔06226.88034
[14] 卡斯特拉尼，I。；Dezani-Ciancaglini，M。；Giannii，P.，多方会话的事件结构语义，（并发和分布式编程的模型、语言和工具——在Rocco De Nicola 65岁生日之际献给他的论文。并发和分布式程序设计的模型、语文和工具——献给Rocco De Nicola的65岁生日的论文，计算机科学讲义，第11665卷（2019），施普林格），340-363·Zbl 1416.68004号
[15] 本田，K。；吉田，N。；Carbone，M.，多方异步会话类型，J.ACM，63，1，第9条pp.（2016年），POPL08上发表的论文扩展版·Zbl 1426.68047号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。