马尔科·贝尔纳多 走向双相似性和迹语义的一般公理化。 (英语) Zbl 07415132号 Roggenbach,Markus(编辑),代数开发技术的最新趋势。第25届国际研讨会,WADT 2020,虚拟活动,2020年4月29日。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。12669, 31-53 (2021).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \发短信给Lect的M.Bernardo。注释计算。科学。12669,31-53(2021;Zbl 07415132) 全文: 内政部
马尔科·贝尔纳多;弗拉维奥·科拉迪尼;卢卡·特塞 具有确定性或随机延迟的时间进程计算:在持续时间和无持续时间操作之间的交换。 (英语) Zbl 1339.68182号 西奥。计算。科学。 629, 2-39 (2016).MSC公司:68问题85 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}等人,Theor。计算。科学。629,2--39(2016年;Zbl 1339.68182) 全文: 内政部
马尔科·贝尔纳多;洛科·德尼古拉;米歇尔·洛雷蒂 重温非确定性和概率过程的双相似性及其模态逻辑。 (英语) Zbl 1331.68147号 Acta信息。 52,第1期,61-106(2015). 审核人:Damas Gruska(布拉迪斯拉发) MSC公司:68问题85 03B45号 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}等人,《信息学报》52,第1期,第61-106页(2015年;Zbl 1331.68147) 全文: 内政部 链接
马尔科·贝尔纳多;洛科·德尼古拉;米歇尔·洛雷蒂 逐群概率双相似性及其逻辑特征。 (英语) Zbl 1348.68156号 Abadi,Martín(编辑)等人,《值得信赖的全球计算》。2013年8月30日至31日在阿根廷布宜诺斯艾利斯举行的第八届TGC国际研讨会。修订了选定的论文。查姆:施普林格(ISBN 978-3-319-05118-5/pbk;978-3-3169-05119-2/电子书)。《计算机科学讲义》8358、315-330(2014)。MSC公司:68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}等人,Lect。注释计算。科学。8358、315-330(2014;Zbl 1348.68156) 全文: 内政部
马尔科·贝尔纳多;洛科·德尼古拉;米歇尔·洛雷蒂 用于建模非确定性、概率性、随机性或混合过程及其行为等效性的统一框架。 (英语) Zbl 1358.68210号 Inf.计算。 225, 29-82 (2013).MSC公司:68问题85 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}等人,《信息计算》。225,29-82(2013;Zbl 1358.68210) 全文: 内政部
马尔科·贝尔纳多 基于T集总率一致关系的状态空间约简。 (英语) 兹比尔1180.68186 Thomas,Nigel(编辑)等人,《计算机性能工程》,第五届欧洲性能工程研讨会,EPEW 2008,西班牙马洛卡棕榈岛,2008年9月24日至25日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-87411-9/pbk)。计算机科学课堂讲稿526164-78(2008)。MSC公司:68问题85 68米15 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo},莱克特。注释计算。科学。5261、64--78(2008年;Zbl 1180.68186) 全文: 内政部
马尔科·贝尔纳多 基于非激励的马尔科夫行为等效性。 (英语) Zbl 1121.68077号 J.日志。代数。程序。 72,第1期,第3-49页(2007年).MSC公司:68问题85 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo},J.Log。代数。程序。72,第1号,第3--49号(2007;Zbl 1121.68077) 全文: 内政部
马尔科·贝尔纳多 马尔可夫检验和追踪等价性比马尔可夫双相似性更具综合性。 (英语) Zbl 1316.68086号 Aceto,Luca(编辑)等人,《代数过程演算论文集》(APC 25)研讨会论文集,意大利贝尔蒂诺罗,2005年8月1日至5日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记162,87-99(2006)。MSC公司:68问题85 60J20型 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo},电子。注释Theor。计算。科学。162、87-99(2006;Zbl 1316.68086) 全文: 内政部
马尔科·贝尔纳多;马里奥·布拉维蒂 马尔科夫过程代数的性能度量敏感同余。 (英语) 兹比尔1019.68065 西奥。计算。科学。 290,第1期,117-160(2003).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}和\textit{M.Bravetti},Theor。计算。科学。290,编号1,117--160(2003;Zbl 1019.68065) 全文: 内政部
马尔科·贝尔纳多;洛伦佐·多纳蒂耶洛;罗伯托·戈里埃里 一种在并发系统建模和分析中集成性能方面的正式方法。 (英语) Zbl 0909.68074号 Inf.计算。 144,第2期,第83-154页(1998年).MSC公司:2010年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}等人,《信息计算》。144,No.2,83--154(1998;Zbl 0909.68074) 全文: 内政部
马尔科·贝尔纳多;罗伯托·戈里埃里 EMPA教程:具有不确定性、优先级、概率和时间的并发过程理论。 (英语) 兹比尔0902.68075 西奥。计算。科学。 202,编号1-2,1-54(1998).MSC公司:2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}和\textit{R.Gorrieri},Theor。计算。科学。202,编号1--2,1--54(1998;Zbl 0902.68075) 全文: 内政部