奇亚拉博迪;琳达·布罗多;罗伯托·布鲁尼 这个链接-开放多方交互的微积分。 （英语） Zbl 1496.68218号 Inf.计算。 275，文章ID 104587，38 p.（2020）.MSC公司：68问题85 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人，Inf.计算。275，文章ID 104587，38页（2020；兹bl 1496.68218） 全文： 内政部
伊万·普罗基奇;约万卡·潘托维奇;雨果·托雷斯·维埃拉 浮动授权建模的演算。 （英语） Zbl 1431.68080号 J.日志。阿尔盖布。方法计划。 107, 136-174 (2019).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛I.Prokić｝等人，J.日志。阿尔盖布。方法计划。107136-174（2019年；Zbl 1431.68080） 全文： 内政部 arXiv公司
约万卡·潘托维奇;伊万·普罗基奇;雨果·托雷斯·维埃拉 浮动授权建模的演算。 （英语） Zbl 1508.68250号 Baier，Christel（编辑）等人，分布式对象、组件和系统的形式化技术。2018年6月18日至21日在西班牙马德里举行的第38届IFIP WG 6.1国际会议，FORTE 2018，作为第13届分布式计算技术国际联合会议的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10854, 101-120 (2018).MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Pantović}等人，莱克特。注释计算。科学。10854、101-120（2018年；Zbl 1508.68250） 全文： 内政部 哈尔
西尔维娅·吉勒赞;斯维特拉纳·雅克西奇;约万卡·潘托维奇;佩雷斯（Jorge A.Pérez）。;雨果·托雷斯·维埃拉 多方对话中的动态角色授权。 （英语） 兹比尔1345.68235 正式Asp。计算。 28，第4号，643-667（2016）.MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilezan}等人，正式Asp。计算。28，第4号，643--667（2016；Zbl 1345.68235） 全文： 内政部 arXiv公司