阿曼，博格丹;加布里埃尔·乔巴努 在具有定时迁移和定时通信的多代理系统中使用成本。 （英语） Zbl 1440.68306号 Chatzigeorgiou，Alexander（编辑）等人，《SOFSEM 2020：计算机科学的理论与实践》。第46届信息学理论和实践当前趋势国际会议，SOFSEM 2020，利马索尔，塞浦路斯，2020年1月20日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12011, 441-453 (2020).MSC公司：68T42型 第68季度55 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Aman}和\textit{G.Ciobanu}，莱克特。注释计算。科学。12011、441--453（2020年；Zbl 1440.68306） 全文： 内政部
马修·轩尼诗;马尼什·戈尔 计算微积分（扩展摘要）中的成本。 （英语） Zbl 1291.68288号 Bonchi，Filippo（编辑）等人，第一届交互和并发体验研讨会（ICE 2008）会议记录，冰岛雷克雅未克，2008年7月6日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记229，第3期，117-129（2009）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Hennessy}和\textit{M.Gaur}，电子。注释Theor。计算。科学。229，第3号，117--129（2009；Zbl 1291.68288） 全文： 内政部
Stefano贝拉迪;乌戈·德利古罗 微积分、类型和应用：纪念M.Coppo、M.Dezani-Ciancaglini和S.Ronchi della Rocca的论文。 （英语） Zbl 1138.01318号 西奥。计算。科学。 398，编号1-3，1-11（2008）.MSC公司：01A70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Berardi}和\textit{U.de'Liguoro}，Theor。计算。科学。398，编号1--3，1--11（2008；Zbl 1138.01318） 全文： 内政部
佛朗哥·巴巴内拉;米歇尔·布格列西;马里亚纽拉州Dezani-Ciancaglini;弗拉迪米罗·萨松 太空器皿环境和工艺。 （英语） Zbl 1111.68011号 西奥。计算。科学。 373，编号1-2，41-69（2007）.MSC公司：64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{F.Barbanera}等人，Theor。计算。科学。373，编号1--2，41-69（2007；Zbl 1111.68011） 全文： 内政部 链接