马可·贝尔纳多;克劳迪奥·梅齐纳。 桥接因果可逆性和时间可逆性：随机过程代数方法。 （英语） Zbl 07731917号 日志。方法计算。科学。 19，第2号，第6号论文，27页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}和\textit{C.A.Mezzina}，Log。方法计算。科学。19，第2号，第6号论文，27页（2023；Zbl 07731917） 全文： 内政部 arXiv公司
马可·贝尔纳多 走向双相似性和迹语义的一般公理化。 （英语） Zbl 07415132号 Roggenbach，Markus（编辑），代数开发技术的最新趋势。第25届国际研讨会，WADT 2020，虚拟活动，2020年4月29日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。12669, 31-53 (2021).MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}，莱克特。注释计算。科学。12669，31-53（2021；Zbl 07415132） 全文： 内政部
马可·贝尔纳多;克劳迪奥·安塔雷斯·梅齐纳 走向桥接时间和因果可逆性。 （英语） Zbl 1511.68179号 Gotsman，Alexey（编辑）等人，分布式对象、组件和系统的形式化技术。第40届IFIP WG 6.1国际会议，FORTE 2020，作为第15届分布式计算技术国际联合会议的一部分，于2020年6月15日至19日在马耳他瓦莱塔举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12136, 22-38 (2020).MSC公司：68问题85 60J28型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}和\textit{C.A.Mezzina}，莱克特。注释计算。科学。12136，22-38（2020；Zbl 1511.68179） 全文： 内政部
马可·贝尔纳多 ULTraS公司工作：用于互模拟和跟踪语义的合成元结果。 （英语） Zbl 1381.68195号 J.日志。阿尔盖布。方法计划。 94, 150-182 (2018).MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \发短信{M.Bernardo}，J.Log。阿尔盖布。方法计划。94、150-182（2018年；Zbl 1381.68195） 全文： 内政部
马可·贝尔纳多;弗拉维奥·科拉迪尼;卢卡·特塞 具有确定性或随机延迟的时间进程计算：在持续时间和无持续时间操作之间的交换。 （英语） 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） 全文： 内政部
马尔科·贝尔纳多;洛科·德尼古拉;米歇尔·洛雷蒂 将具有不确定性和概率的过程的强行为等价性联系起来。 （英语） Zbl 1360.68626号 西奥。计算。科学。 546, 63-92 (2014).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}等人，Theor。计算。科学。546、63-92（2014年；Zbl 1360.68626） 全文： 内政部
马可·贝尔纳多;洛科·德尼古拉;米歇尔·洛雷蒂 用于建模非确定性、概率性、随机性或混合过程及其行为等效性的统一框架。 （英语） 兹比尔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） 全文： 内政部
马可·贝尔纳多;斯特凡妮娅·博塔 非确定性和随机系统行为等效性的模态逻辑调查。 （英语） Zbl 1141.68044号 数学。结构。计算。科学。 第1期第18页，第29-55页（2008年）.MSC公司：68问题85 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}和\textit{S.Botta}，数学。结构。计算。科学。18、第1号、第29-55号（2008；Zbl 1141.68044） 全文： 内政部
马可·贝尔纳多 基于非激励的马尔科夫行为等效性。 （英语） Zbl 1121.68077号 J.日志。阿尔盖布。程序。 72，第1期，第3-49页（2007年）.MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \发短信{M.Bernardo}，J.Log。阿尔盖布。程序。72，第1号，第3--49号（2007；Zbl 1121.68077） 全文： 内政部
亚历山德罗·阿尔迪尼;马可·贝尔纳多 关于进程代数的可用性：架构视图。 （英语） Zbl 1080.68071号 西奥。计算。科学。 335，编号2-3，281-329（2005）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛A.Aldini｝和\textit｛M.Bernardo｝，Theor。计算。科学。335，编号2--3，281--329（2005；Zbl 1080.68071） 全文： 内政部
马可·贝尔纳多;马里奥·布拉维蒂 马尔科夫过程代数的性能度量敏感同余。 （英语） Zbl 1019.68065号 西奥。计算。科学。 290，第1期，117-160（2003）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}和\textit{M.Bravetti}，Theor。计算。科学。290，第117-160号（2003年；兹bl 1019.68065） 全文： 内政部
马可·贝尔纳多;洛伦佐·多纳蒂耶洛;罗伯托·戈里埃里 在并发系统建模和分析中集成性能方面的一种形式化方法。 （英语） Zbl 0909.68074号 Inf.计算。 144，第2期，第83-154页（1998年）.MSC公司：2010年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}等人，《信息计算》。144，第2号，83-154（1998年；兹bl 0909.68074） 全文： 内政部
马可·贝尔纳多;罗伯托·戈里埃里 EMPA教程：具有不确定性、优先级、概率和时间的并发过程理论。 （英语） Zbl 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） 全文： 内政部
马可·贝尔纳多;罗伯托·戈里埃里 扩展的马尔科夫过程代数。 （英语） Zbl 1514.68155号 Montanari，Ugo（编辑）等人，CONCUR’96：并发理论。第七届国际会议，意大利比萨，1996年8月26日至29日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1119, 315-330 (1996).MSC公司：68问题85 68问题55 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}和\textit{R.Gorrieri}，莱克特。注释计算。科学。1119315-330（1996年；Zbl 1514.68155） 全文： 内政部