罗伯托·布鲁尼;乌戈·蒙塔纳里;马蒂奥·桑马蒂诺 树分解图的代数。 (英语) Zbl 1502.68213号 Gadducci,Fabio(编辑)等人,《图形变换》。2020年6月25日至26日在挪威卑尔根举行的第13届国际会议,ICGT 2020,作为STAF 2020的一部分。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12150, 203-220 (2020).MSC公司:68兰特 05二氧化碳 05C25号 2012年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人,Lect。注释计算。科学。12150203-220(2020;Zbl 1502.68213) 全文: 内政部
保罗·巴尔丹;罗伯托·布鲁尼;安德烈亚·科拉迪尼;法比奥·加杜奇;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 具有持久性的Petri网的事件结构。 (英语) Zbl 1417.68113号 日志。方法计算。科学。 14,第3号,第25号论文,30页(2018年). 审核人:Clément Aubert(奥古斯塔) MSC公司:68问题85 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人,《日志》。方法计算。科学。14,第3号,第25号论文,30页(2018;Zbl 1417.68113) 全文: 内政部 arXiv公司
乌戈·蒙塔纳里;马蒂奥·桑马蒂诺 网络意识\(\pi\)-演算–Pastry的模型。 (英语) Zbl 1342.68236号 Ayala-Rincón,Mauricio(编辑)等人,《逻辑和语义框架及其应用第九次研讨会论文集》(LSFA 2014),巴西巴西利亚,2014年9月8日至9日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记312,3-17,仅电子版(2015)。MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Montanari}和\textit{M.Sammartino},电子。注释Theor。计算。科学。312,3-17(2015;Zbl 1342.68236) 全文: 内政部
乌戈·蒙塔纳里;马蒂奥·桑马蒂诺 一种网络意识演算及其余代数语义。 (英语) Zbl 1342.68234号 西奥。计算。科学。 546, 188-224 (2014).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{U.Montanari}和\textit{M.Sammartino},Theor。计算。科学。546188-224(2014;Zbl 1342.68234) 全文: 内政部
罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 从层次BIP到Petri演算。 (英语) Zbl 1416.68111号 Bensalem,Saddek(编辑)等人,《从程序到系统》。计算中的系统观点。ETAPS研讨会,FPS 2014,纪念约瑟夫·西法克斯,法国格勒诺布尔,2014年4月6日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8415, 54-68 (2014).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人,Lect。注释计算。科学。8415,54-68(2014;Zbl 1416.68111) 全文: 内政部
乌戈·蒙塔纳里;马蒂奥·桑马蒂诺 网络意识\(\pi\)-演算:一种并发语义。 (英语) Zbl 1342.68235号 Berger,Ulrich(ed.)等人,第28届编程语义数学基础会议论文集(MFPS XXVIII),英国巴斯,2012年6月6日至9日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记286291-306(2012)。MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{U.Montanari}和\textit{M.Sammartino},电子。注释Theor。计算。科学。286291-306(2012;Zbl 1342.68235) 全文: 内政部
文森佐·西安西亚;亚历山大·库兹;乌戈·蒙塔纳里 对称族是资源绑定的有效模型。 (英语) Zbl 1247.68172号 Jacobs,B.(ed.)等人,第十届计算机科学联合算法研讨会论文集(CMCS 2010)。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》264,第2期,63-81(2010)。MSC公司:68问题65 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{V.Ciancia}等人,《电子》。注释Theor。计算。科学。264,编号2,63--81(2010;Zbl 1247.68172) 全文: 内政部
文森佐·西安西亚;乌戈·蒙塔纳里 对称性、本地名称和名称的动态(去)分配。 (英语) Zbl 1207.68223号 Inf.计算。 208,第12期,1349-1367(2010).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Ciancia}和\textit{U.Montanari},Inf.Compute。208,第12号,1349--1367(2010;Zbl 1207.68223) 全文: 内政部
罗伯托·布鲁尼;阿尔贝托·卢什·拉富恩特;乌戈·蒙塔纳里 用莫德改写分层设计。 (英语) Zbl 1347.68072号 Grigore(编辑),《第七届重写逻辑及其应用国际研讨会论文集》(WRLA 2008),匈牙利布达佩斯,2008年3月29日至30日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》238,第3期,45-62(2009)。MSC公司:68号30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人,《电子》。注释Theor。计算。科学。238,第3号,45-62(2009;Zbl 1347.68072) 全文: 内政部
巴斯米,玛丽亚·格拉齐亚;乌戈·蒙塔纳里 基于约束的编程范例综述。 (英语) Zbl 1302.68249号 计算。科学。版次。 2,第3期,137-141(2008).MSC公司:68T20型 68N17号 68甲19 68-02 PDF格式BibTeX公司 XML格式引用 \textit{M.G.Buscemi}和\textit{U.Montanari},计算。科学。第2版,第3号,137--141(2008;Zbl 1302.68249) 全文: 内政部
斯蒂法诺·比斯塔雷利;乌戈·蒙塔纳里;弗朗西丝卡·罗西;弗朗西斯科·桑蒂尼 使用与或图中的最佳树搜索和软约束逻辑编程来建模组播QoS路由。 (英语) Zbl 1279.68021号 Aldini,Alessandro(编辑)等人,第五届编程语言定量方面研讨会论文集(QAPL 2007),葡萄牙布拉加,2007年3月24日至25日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》190,第3期,111-127(2007)。MSC公司:68米10 68平方米 68N17号 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{S.Bistarelli}等人,《电子》。注释Theor。计算。科学。190,第3号,111-127(2007;Zbl 1279.68021) 全文: 内政部
罗伯托·布鲁尼;伊万·拉内斯;乌戈·蒙塔纳里 无状态连接符的基本代数。 (英语) Zbl 1153.68331号 西奥。计算。科学。 366,编号1-2,98-120(2006).MSC公司:64岁以下 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人,Theor。计算。科学。366,编号1-2198-120(2006年;Zbl 1153.68331) 全文: 内政部
罗伯托·布鲁尼;乌戈·蒙塔纳里;弗拉迪米罗·萨松 动态可重构平铺系统的观测一致性。 (英语) Zbl 1080.68075号 西奥。计算。科学。 335,编号2-3331-372(2005).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人,Theor。计算。科学。335,编号2--3,331--372(2005;Zbl 1080.68075) 全文: 内政部 链接
法比奥·加杜奇;乌戈·蒙塔纳里 比较重写的逻辑:重写逻辑、动作演算和分片逻辑。 (英语) Zbl 1001.68056号 西奥。计算。科学。 285,第2期,319-358(2002).MSC公司:2012年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Gadducci}和\textit{U.Montanari},Theor。计算。科学。285,第2号,319--358(2002;Zbl 1001.68056) 全文: 内政部
安德烈亚·科拉迪尼;瑞科·赫克尔;乌戈·蒙塔纳里 组合SOS及其以外:开放系统的联合视图。 (英语) Zbl 1014.68107号 西奥。计算。科学。 280,第1-2号,163-192(2002).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Corradini}等人,Theor。计算。科学。280,编号1--2,163-192(2002;Zbl 1014.68107) 全文: 内政部
罗伯托·布鲁尼;乌戈·蒙塔纳里 零安全网:比较集体和个人令牌方法。 (英语) Zbl 1046.68615号 Inf.计算。 156,编号1-2,46-89(2000).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}和\textit{U.Montanari},Inf.Comput。156,编号1--2,46-89(2000;Zbl 1046.68615) 全文: 内政部
吉安·路易吉,法拉利;乌戈·蒙塔纳里;保拉·夸里亚 带有显式替换的(pi)-演算。 (英语) Zbl 0874.68197号 西奥。计算。科学。 168,第1期,53-103(1996).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.-L.Ferrari}等人,Theor。计算。科学。168,编号1,53--103(1996;Zbl 0874.68197) 全文: 内政部
罗伯托·戈里埃里;乌戈·蒙塔纳里 网络计算中并发计算的实施:两个案例研究。 (英语) Zbl 0873.68144号 西奥。计算。科学。 141,第1-2期,195-252(1995).MSC公司:68问题85 68问题55 第68季度10 PDF格式BibTeX公司 XML格式引用 \textit{R.Gorrieri}和\textit{U.Montanari},Theor。计算。科学。141,编号1--2,195-252(1995;Zbl 0873.68144) 全文: 内政部
Gianluigi法拉利;乌戈·蒙塔纳里;保拉·夸里亚 带有显式替换的(pi)演算:后期语义。 (英语) Zbl 1493.68244号 Privara,Igor(编辑)等人,《1994年计算机科学的数学基础》。1994年8月22日至26日,斯洛伐克科希策,第19届国际研讨会,MFCS’94。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。841, 342-351 (1994).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{G.Ferrari}等人,Lect。注释计算。科学。841342--351(1994年;Zbl 1493.68244) 全文: 内政部
皮耶保罗·德加诺;洛科·德尼古拉;乌戈·蒙塔纳里 互模拟的通用公理。 (英语) Zbl 0782.68044号 西奥。计算。科学。 114,第1期,63-91(1993). 审核人:A.Maggiolo-Schettini(比萨) MSC公司:第68季度10 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.Degano}等人,Theor。计算。科学。114,编号1,63--91(1993;Zbl 0782.68044) 全文: 内政部
安德烈亚·科拉迪尼;乌戈·蒙塔纳里 结构化转换系统的代数语义及其在逻辑程序中的应用。 (英语) Zbl 0756.68075号 西奥。计算。科学。 103,第1期,第51-106页(1992年). 审核人:A.科拉迪尼 MSC公司:68问题55 18天35分 68N17号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Corradini}和\textit{U.Montanari},Theor。计算。科学。103,编号1,51--106(1992;Zbl 0756.68075) 全文: 内政部
乌戈·蒙塔纳里;弗朗西丝卡·罗西 约束放松可能是完美的。 (英语) Zbl 1117.68495号 Artif公司。智力。 48,第2期,143-170(1991).MSC公司:68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{U.Montanari}和\textit{F.Rossi},人工制品。智力。48,第2号,143--170(1991;Zbl 1117.68495) 全文: 内政部
P.德加诺。;R·德·尼古拉。;美国蒙塔纳里。 CCS的部分排序语义。 (英语) Zbl 0701.68073号 西奥。计算。科学。 75,第3期,223-262(1990年).MSC公司:68问题55 06年06月06日 68甲15 第68季度10 PDF格式BibTeX公司 XML格式引用 \textit{P.Degano}等人,Theor。计算。科学。75,第3号,223--262(1990;Zbl 0701.68073) 全文: 内政部
皮耶保罗·德加诺;洛科·德尼古拉;乌戈·蒙塔纳里 基于条件/事件系统的CCS分布式操作语义。 (英语) Zbl 0656.68061号 学报信息。 26,编号1-2,59-91(1988).MSC公司:68问题85 68N25号 60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{P.Degano}等人,《信息学报》第26期,第1--2、59-91号(1988年;Zbl 0656.68061) 全文: 内政部