路易斯·克鲁兹·菲利佩;法布里西奥·蒙泰西 程序性舞蹈编程。 （英语） Zbl 1489.68051号 Bouajjani，Ahmed（编辑）等人，分布式对象、组件和系统的形式化技术。2017年6月19日至22日，作为第12届分布式计算技术国际联合会议的一部分，在瑞士诺伊查泰尔举行了第37届IFIP WG 6.1国际会议，即2017年FORTE。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10321, 92-107 (2017). 概要：编排编程是一种新兴的正确构造并发编程范式。然而，由于目前缺乏对可重用过程的支持，它的适用性受到了限制。我们提出了过程编排（PC），这是一种具有完全过程抽象的编排语言模型。PC包括无限进程创建和名称移动，为编写正确的并发算法提供了强大的框架，这些算法可以编译为进程演算。这种增加的表达能力需要一种打字规则，以确保在制定程序时正确连接各个过程。关于整个系列，请参见[Zbl 1362.68010号]. 引用于10文件 MSC公司： 68甲19 其他编程范式（面向对象、顺序、并发、自动等） 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） PDF格式BibTeX公司 XML格式引用 \textit{L.Cruz-Filipe}和\textit{F.Montesi}，莱克特。注释计算。科学。10321，92-107（2017；Zbl 1489.68051） 全文： DOI程序 arXiv公司