马里奥·布拉维蒂 公理化最大进度和离散时间。 (英语) Zbl 1509.68183号 日志。方法计算。科学。 17,第1期,第1号论文,44页(2021年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Bravetti},日志。方法计算。科学。17,第1期,第1号论文,44页(2021;Zbl 1509.68183) 全文: arXiv公司 链接
卡洛斯·卡马乔;路易斯·拉纳;阿尔贝托·努涅斯;马里奥·布拉维蒂 概率软件产品线。 (英语) Zbl 1431.68017号 J.日志。阿尔盖布。方法计划。 107, 54-78 (2019).MSC公司:68号30 68问题55 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Camacho}等人,J.Log。阿尔盖布。方法计划。107、54-78(2019年;Zbl 1431.68017) 全文: 内政部 哈尔