佛朗哥·巴巴内拉；伊万·拉内斯；埃米利奥·托斯托 形式舞蹈语言的理论。 （英语） Zbl 07731937号 日志。方法计算。科学。 19，第3号，第9号论文，36页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{F.Barbanera}等人，日志。方法计算。科学。19，第3号，第9号论文，36页（2023；Zbl 07731937） 全文： 内政部 arXiv公司
罗斯·霍恩 使用循环序列的会话子类型和多方兼容性。 （英语） 兹伯利07559468 Konnov，Igor（编辑）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171，第12条，22页（2020年）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Horne}，LIPIcs——莱布尼茨国际程序。通知。171，第12条，22 p.（2020；Zbl 07559468） 全文： 内政部
路易斯·克鲁兹·菲利佩；法布里西奥·蒙泰西 舞蹈编程的核心模型。 （英语） Zbl 1436.68078号 西奥。计算。科学。 802, 38-66 (2020).MSC公司：68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Cruz-Filipe}和\textit{F.Montesi}，Theor。计算。科学。802、38--66（2020年；Zbl 1436.68078） 全文： 内政部 arXiv公司 链接
萨维里奥·贾勒伦佐；法布里西奥·蒙泰西；毛里齐奥·加布里埃利 应用舞蹈设计。 （英语） Zbl 1508.68242号 Baier，Christel（编辑）等人，分布式对象、组件和系统的形式化技术。2018年6月18日至21日在西班牙马德里举行的第38届IFIP WG 6.1国际会议，FORTE 2018，作为第13届分布式计算技术国际联合会议的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10854, 21-40 (2018).MSC公司：68问题85 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{S.Giallorenzo}等人，Lect。注释计算。科学。10854，21-40（2018年；兹比尔1508.68242） 全文： 内政部 arXiv公司 哈尔
路易斯·凯雷斯；佩雷斯（Jorge A.Pérez）。 规范二进制理论中的多方会话类型以及其他。 （英语） Zbl 1347.68026号 Albert，Elvira（编辑）等人，分布式对象、组件和系统的形式化技术。第36届IFIP WG 6.1国际会议，2016年FORTE，作为第11届分布式计算技术国际联合会议的一部分，2016年6月6日至9日在希腊克里特岛赫拉克利恩举行。诉讼程序。查姆：施普林格（ISBN 978-3-319-39569-2/pbk；978-3-3169-39570-8/电子书）。计算机科学讲座笔记9688，74-95（2016）。MSC公司：64岁以下 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{L.Caires}和\textit{J.A.Pérez}，莱克特。注释计算。科学。9688，74-95（2016；Zbl 1347.68026） 全文： 内政部 哈尔