马里奥·布雷韦蒂 马尔科夫过程代数中的约简语义。 (英语) Zbl 1430.68160号 J.日志。阿尔盖布。方法计划。 96, 41-64 (2018).MSC公司:68问题85 68问题55 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bravetti},J.Log(J·洛格)。阿尔盖布。方法计划。96、41-64(2018年;Zbl 1430.68160) 全文: DOI程序 arXiv公司
马可·贝尔纳多;弗拉维奥·科拉迪尼;卢卡·特塞 具有确定性或随机延迟的时间进程计算:在持续时间和无持续时间操作之间的交换。 (英语) Zbl 1339.68182号 西奥。计算。科学。 629, 2-39 (2016).MSC公司:68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}等人,Theor。计算。科学。629,2--39(2016年;Zbl 1339.68182) 全文: DOI程序
马可·贝尔纳多 关于积分时间马尔科夫过程计算中弱双相似性的合成性和精确性之间的折衷。 (英语) Zbl 1302.68199号 西奥。计算。科学。 563, 99-143 (2015).MSC公司:68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{M.Bernardo},Theor。计算。科学。563、99--143(2015;Zbl 1302.68199) 全文: DOI程序
马可·贝尔纳多;洛科·德尼古拉;米歇尔·洛雷蒂 用于建模非确定性、概率性、随机性或混合过程及其行为等效性的统一框架。 (英语) Zbl 1358.68210号 Inf.计算。 225, 29-82 (2013).MSC公司:68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}等人,《信息计算》。225,29-82(2013;Zbl 1358.68210) 全文: DOI程序
马可·贝尔纳多;斯特凡妮娅·博塔 非确定性和随机系统行为等效性的模态逻辑调查。 (英语) Zbl 1141.68044号 数学。结构。计算。科学。 18,第1号,29-55(2008).MSC公司:68问题85 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}和\textit{S.Botta},数学。结构。计算。科学。18、第1号、第29-55号(2008;Zbl 1141.68044) 全文: DOI程序
马可·贝尔纳多;卢卡·帕多瓦尼 通过特定于客户的测试预购对web服务进行面向性能的比较。 (英语) Zbl 1202.68053号 Bonsange,Marcello M.(编辑)等人,开放式基于对象的分布式系统的形式化方法。2007年6月6日至8日在塞浦路斯帕福斯举行的第九届IFIP工作组6.1国际会议FMOODS 2007。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-72919-8/pbk)。计算机科学课堂讲稿4468,269-284(2007)。MSC公司:68英里11 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}和\textit{L.Padovani},莱克特。注释计算。科学。4468,269--284(2007;Zbl 1202.68053) 全文: DOI程序
亚历山德罗·阿尔迪尼;马可·贝尔纳多 为面向组件的性能度量规范混合逻辑和奖励。 (英语) Zbl 1159.68020号 西奥。计算。科学。 382,编号1,3-23(2007).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Aldini}和\textit{M.Bernardo},Theor。计算。科学。382,编号1,3--23(2007年;Zbl 1159.68020) 全文: DOI程序
马可·贝尔纳多 基于非激励的马尔科夫行为等效性。 (英语) 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) 全文: DOI程序
马可·贝尔纳多 马尔科夫检验和迹等价性比马尔科夫双相似性更为复杂。 (英语) Zbl 1316.68086号 Aceto,Luca(编辑)等人,《代数过程计算论文》研讨会论文集(APC 25),意大利贝蒂诺罗,2005年8月1日至5日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记162,87-99(2006)。MSC公司:68问题85 60J20型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo},电子。注释Theor。计算。科学。162、87-99(2006;Zbl 1316.68086) 全文: DOI程序