大卫·卡斯特尔诺沃;法比奥·加杜奇;马里诺·米库兰 (mathcal{M},mathcal})-粘附性的简单判据。 (英语) Zbl 07809118号 西奥。计算。科学。 982,文章ID 114280,40 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{D.Castelnovo}等人,Theor。计算。科学。982,文章ID 114280,40 p.(2024;Zbl 07809118) 全文: 内政部
马里诺·米库兰;马可·佩雷索蒂 具有定量方面的非确定性过程的结构操作语义。 (英语) Zbl 1356.68157号 西奥。计算。科学。 655,B部分,135-154(2016).MSC公司:68问题85 68问题55 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{M.Miculan}和\textit{M.Peressotti},Theor。计算。科学。655,B部分,135--154(2016;Zbl 1356.68157) 全文: 内政部 arXiv公司
托马斯·布伦戈斯;马里诺·米库兰;马可·佩雷索蒂 具有不可观测运动的余代数的行为等价性。 (英语) Zbl 1330.68195号 J.日志。阿尔盖布。方法计划。 84,第6期,826-852(2015).MSC公司:68问题85 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{T.Brengos}等人,J.日志。阿尔盖布。方法计划。84,第6号,826--852(2015;Zbl 1330.68195) 全文: 内政部 arXiv公司