Larsen,Kim G。;拉杜·马达尔;薛冰田 并发加权逻辑。 (英语) Zbl 1330.68210号 J.日志。阿尔盖布。方法计划。 84,第6期,884-897(2015).MSC公司:68问题85 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人,J.Log。阿尔盖布。方法计划。84,第6号,884--897(2015;Zbl 1330.68210) 全文: 内政部
马西莫·巴托莱蒂;伊利亚州卡斯特拉尼;Deniélou、Pierre-Malo;马里亚纽拉州Dezani-Ciancaglini;西尔维娅·吉勒赞;约万卡·潘托维奇;佩雷斯,豪尔赫·A。;彼得·蒂曼;伯纳多·托尼霍;雨果·托雷斯·维埃拉 将行为类型与安全分析相结合。 (英语) Zbl 1330.68045号 J.日志。阿尔盖布。方法计划。 84,第6号,763-780(2015).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.Bartoletti}等人,J.Log。阿尔盖布。方法计划。84,第6号,763-780(2015年;兹bl 1330.68045) 全文: 内政部 arXiv公司