西蒙娜塔·巴萨莫;吉安·卢卡·德伊·罗西;安德烈亚·马林 协作自动机中的集中和反向过程。 （英语） Zbl 1342.60130号 安·Oper。物件。 239，第2期，695-722（2016）.MSC公司：60J28型 60J27型 68平方米 60K25码 PDF格式BibTeX公司 XML格式引用 \textit{S.Balsamo}等人，Ann.Oper。239号决议，第2号，695--722（2016；Zbl 1342.60130） 全文： 内政部
马可·贝尔纳多;洛科·德尼古拉;米歇尔·洛雷蒂 用于建模非确定性、概率性、随机性或混合过程及其行为等效性的统一框架。 （英语） 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） 全文： 内政部
安德烈亚·德加斯佩里;卡德，莫菲 将柱坐标中的PDE和CTMC与浓度水平相关联。 （英语） Zbl 1283.68238号 Krivine，Jean（编辑）等人，第一届计算机科学与生物学相互作用国际研讨会论文集（CS2Bio'10），荷兰阿姆斯特丹，2010年6月10日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记268，49-59（2010）。MSC公司：68问题85 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{A.Degasperi}和\textit{M.Calder}，电子。注释Theor。计算。科学。268、49-59（2010年；Zbl 1283.68238） 全文： 内政部
迈克尔·佩德森;戈登·普洛金（Gordon D.Plotkin）。 生化系统语言：设计和形式规范。 （英语） Zbl 1275.92020年 Priami，Corrado（编辑）等人，《计算系统生物学学报》第十二卷。关于建模方法的特别问题。柏林：施普林格出版社（ISBN 978-3-642-11711-4/pbk）。计算机科学课堂讲稿5945。生物信息学课堂讲稿。《期刊副刊》，77-145（2010年）。MSC公司：92C40型 60J28型 68问题85 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit｛M.Pedersen｝和\textit｛G.D.Plotkin｝，Lect。注释计算。科学。5945，77--145（2010；Zbl 1275.92020） 全文： 内政部
亚历山德罗·阿尔迪尼;马可·贝尔纳多 为面向组件的性能度量规范混合逻辑和奖励。 （英语） Zbl 1159.68020号 西奥。计算。科学。 382，第1期，3-23（2007）.MSC公司：第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Aldini}和\textit{M.Bernardo}，Theor。计算。科学。382，编号1，3--23（2007年；Zbl 1159.68020） 全文： 内政部
简·希尔斯顿 使用过程代数的合成马尔科夫建模。 （英语） Zbl 0861.90121号 Stewart，William J.（编辑），《马尔可夫链计算》。第二届马尔可夫链数值解国际研讨会论文集，罗利，北卡罗来纳州，美国，1995年1月16日至18日。马萨诸塞州波士顿：Kluwer学术出版社。177-196 (1995).MSC公司：90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.Hillston}，in：马尔可夫链计算。第二届马尔可夫链数值解国际研讨会论文集，罗利，北卡罗来纳州，美国，1995年1月16-18日。马萨诸塞州波士顿：Kluwer学术出版社。177-196（1995年；Zbl 0861.90121）