克劳迪奥·安塔雷斯·梅齐纳;佩雷斯（Jorge A.Pérez）。 可逆多方协议的因果一致性。 （英语） Zbl 07471661号 日志。方法计算。科学。 17，第4号，第1号论文，41页（2021年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{C.Antares Mezzina}和\textit{J.A.Pérez}，Log。方法计算。科学。17，第4号，第1号文件，第41页（2021；Zbl 07471661） 全文： arXiv公司 链接
佛朗哥·巴巴内拉;马里亚纽拉州Dezani-Ciancaglini;伊万·拉内斯;埃米利奥·托斯托 多方会议的组成和分解。 （英语） Zbl 1462.68120号 J.日志。阿尔盖布。方法计划。 119，文章ID 100620，35 p.（2021）. 审核人：T.C.Mohan（钦奈） MSC公司：68问题85 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{F.Barbanera}等人，J.Log。阿尔盖布。方法计划。119，文章ID 100620，35 p.（2021；Zbl 1462.68120） 全文： DOI程序 哈尔
伊利亚卡斯特拉尼;马里亚纽拉州Dezani-Ciancaglini;保拉·吉安尼尼 具有灵活选择的可逆会话。 （英语） Zbl 1462.68121号 学报信息。 56，编号7-8，553-583（2019）. 审核人：克莱门特·奥伯特（奥古斯塔） MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Castellani}等人，《信息学报》第56期，第7--8553--583号（2019年；Zbl 1462.68121） 全文： DOI程序
伊利亚卡斯特拉尼;马里亚纽拉州Dezani-Ciancaglini;保拉·吉安尼尼 并发可逆会话。 （英语） Zbl 1442.68129号 Meyer，Roland（编辑）等人，第28届并发理论国际会议。CONCUR 2017，德国柏林，2017年9月5-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85，第30条，第17页（2017年）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Castellani}等人，LIPIcs--Leibniz Int.Proc。通知。85，第30条，第17页（2017；Zbl 1442.68129） 全文： DOI程序
马里亚纽拉州Dezani-Ciancaglini;保拉·吉安尼尼 具有检查点的可逆多方会话。 （英语） Zbl 1478.68190号 Gebler，Daniel（编辑）等人，第23届并发表达性国际研讨会和第13届结构操作语义国际研讨会合集，EXPRESS/SOS 2016，加拿大魁北克市，2016年8月22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）22260-74（2016）。MSC公司：68问题85 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Dezani-Ciancaglini}和\textit{P.Giannini}，电子。程序。西奥。计算。科学。（EPTCS）222，60--74（2016；Zbl 1478.68190） 全文： arXiv公司 链接