费德里科·阿西埃里;蝉蜕、阿加塔;弗朗西斯科·詹科（Francesco A.Genco）。 关于中间逻辑的并发计算内容。 （英语） Zbl 1433.68229号 西奥。计算。科学。 813, 375-409 (2020).MSC公司：68问题85 03B40型 03B55型 PDF格式BibTeX公司 XML格式引用 \textit{F.Aschieri}等人，Theor。计算。科学。813375--409（2020年；Zbl 1433.68229） 全文： 内政部
费德里科·阿西埃里;蝉蜕、阿加塔;弗朗西斯科·詹科（Francesco A.Genco）。 作为并行程序的经典证明。 （英语） 兹比尔1528.68055 Orlandini，Andrea（编辑）等人，第九届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2018，德国萨尔布吕肯，2018年9月26日至28日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）27743-57（2018）。MSC公司：68甲18 03B40型 03B70号 07年3月 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{F.Aschieri}等人，《电子》。程序。西奥。计算。科学。（EPTCS）277，43-57（2018；Zbl 1528.68055） 全文： arXiv公司 链接