洛伦佐·卡普拉;迈克尔·科勒-布·迈耶 模块化可重写Petri网:动态分布式系统的有效模型。 (英语) 兹伯利07807468 西奥。计算。科学。 990,文章ID 114397,34 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{L.Capra}和\textit{M.Köhler-Bußmeier},Theor。计算。科学。990,文章ID 114397,34 p.(2024;Zbl 07807468) 全文: 内政部 OA许可证
伊利亚州卡斯特拉尼;马里亚纽拉州Dezani-Ciancaglini;保拉·吉安尼尼;罗斯·霍恩 具有内部委派的全局类型。 (英语) Zbl 1436.68208号 西奥。计算。科学。 807, 128-153 (2020).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Castellani}等人,Theor。计算。科学。807,128-153(2020年;兹比尔1436.68208) 全文: 内政部 哈尔
马里亚纽拉州Dezani-Ciancaglini;西尔维娅·吉勒赞;约万卡·潘托维奇;丹尼尔·瓦拉卡 动态web数据的安全类型。 (英语) Zbl 1146.68014号 西奥。计算。科学。 402,编号2-3,156-171(2008).MSC公司:68M10个 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Dezani-Ciancaglini}等人,Theor。计算。科学。402,编号2--3,156-171(2008;Zbl 1146.68014) 全文: 内政部 哈尔
斯特凡诺·贝拉尔迪;乌戈·德利古罗 微积分、类型和应用:纪念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) 全文: 内政部