×
卢卡·卡德利

关于进程速率语义。 （英语） Zbl 1133.68054号

西奥。计算。科学。 391，第3期，190-215（2008）.
摘要：我们提供过程代数和化学反应系统之间的转换。我们表明，翻译保留了离散状态（随机）和连续状态（集中）语义，特别是过程的连续状态语义对应于基于质量作用定律的化学微分方程。由此获得的进程的新语义等同于具有相同状态占用动态但可能具有不同交互接口的进程。

引用于1审查
引用于40文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
92E20型 化学中的经典流动、反应等

关键词：

随机过程代数;化学反应

软件：

棱镜
PDF格式BibTeX公司 XML格式引用
\文本｛L.Cardelli｝，Theor。计算。科学。391，第3号，190--215（2008；Zbl 1133.68054）
全文： 内政部

参考文献：

[1] 阿鲁尔（Alur，R.）。；Henzinger，T.A.，反应模块，系统设计中的形式化方法，15，1，1-48（1999）
[2] M.Bernardo，L.Donatiello，R.Gorrieri，MPA:随机过程代数，技术报告UBLCS-94-10，博洛尼亚大学计算机科学实验室，1994年；M.Bernardo，L.Donatiello，R.Gorrieri，MPA：随机过程代数，技术报告UBLCS-94-10，博洛尼亚大学计算机科学实验室，1994年
[3] 布洛西，R。；Cardelli，L。；Phillips，A.，基因网络随机动力学的组合方法，（计算系统生物学学报IV。计算系统生物学杂志IV，LNCS，第3939卷（2006），Springer），99-122·Zbl 1179.92021号
[4] L.Bortolussi，A.Policriti，《随机并发约束规划和微分方程》，摘自：Proc。QAPL'07编程语言的定量方面，2007年，第41-54页；L.Bortolussi，A.Policriti，《随机并发约束规划和微分方程》，摘自：Proc。QAPL'07编程语言的定量方面，2007年，第41-54页·Zbl 1279.92031号
[5] 博伊斯，W.E。；DiPrima，R.C.，《初等微分方程和边值问题》（1992），威利出版社：威利纽约·Zbl 0807.34002号
[6] P.Buchholz，《马尔科夫过程代数：合成与等价》，摘自：Proc。1994年PAPM，德国埃朗根，1994年，第11-30页；P.Buchholz，《马尔科夫过程代数：合成与等价》，摘自：Proc。PAPM’94，德国埃尔兰根，1994年，第11-30页
[7] L.Cardelli，过程代数主方程，摘自：Proc。第四次系统定量评估国际会议，QEST，2007年；L.Cardelli，过程代数主方程，摘自：Proc。第四届系统定量评估国际会议，QEST，2007年
[8] M.Calder，S.Gilmore，J.Hillston，从信号通路的过程代数模型自动推导ODE，收录于：Proc。《2005年系统生物学中的计算方法》，第204-215页；M.Calder，S.Gilmore，J.Hillston，从信号通路的过程代数模型自动推导ODE，收录于：Proc。2005年系统生物学中的计算方法，第204-215页
[9] Dam，M.，关于微积分过程等价性的可判定性，理论计算机科学，183，215-228（1997）·Zbl 0901.68033号
[10] Gillespie，D.T.，耦合化学反应的精确随机模拟，物理化学杂志，812340-2361（1977）
[11] Gillespie，D.T.，《化学朗之万方程》，化学物理杂志，113，1，297-306（2000）
[12] Hermanns，H.（交互式马尔可夫链。交互式马尔可夫链，Springer LNCS，第2428卷（2002））·Zbl 1012.68142号
[13] H.Hermanns，M.Rettelbach，MTIPP的语法、语义、等价性和公理，收录于：Proc。1994年PAPM，德国埃朗根，第71-87页；H.Hermanns，M.Rettelbach，MTIPP的语法、语义、等价性和公理，收录于：Proc。1994年PAPM，德国爱尔兰根，第71-87页
[14] Götz，北。；Hermanns，H。；赫尔佐格，美国。；Mertsiotakis，V。；Rettelbach，M.，《随机过程代数：集成功能、性能和可靠性的构造性规范技术》（Baccelli；Mitrani，《并行系统中的定量建模》（1995），Springer），（第1章）·Zbl 0845.68073号
[15] Hillston，J.，《性能建模的合成方法》（1996），剑桥大学出版社
[16] Hillston，J.，《PEPA模型的流体流近似》，（第二届系统定量评估国际会议论文集（2005），IEEE出版社），33-43
[17] 喇叭，F。；Jackson，R.，《一般质量作用动力学》，《档案理性力学分析》，4781-116（1972）
[18] M.Z.Kwiatkowska，G.Norman，D.Parker，《PRISM概率符号模型检验：混合方法》，摘自：Proc。系统构建和分析的工具和算法，TACAS，2002年，第52-66页；M.Z.Kwiatkowska，G.Norman，D.Parker，《PRISM概率符号模型检验：混合方法》，摘自：Proc。系统构建和分析的工具和算法，TACAS，2002年，第52-66页·Zbl 1043.68576号
[19] Milner，R.，《通信和移动系统：（pi）-微积分》（1999），剑桥大学出版社·Zbl 0942.68002号
[20] A.Phillips，L.Cardelli，随机pi-calculus的正确抽象机，摘自：Proc。分子生物学并发模型，Bioconcur’04，附于CONCUR’04，2004；A.Phillips，L.Cardelli，随机pi-calculus的正确抽象机，摘自：Proc。分子生物学并发模型，Bioconcur’04，附属于CONCUR’04，2004
[21] Priami，C.，《随机（pi）演算》，《计算机杂志》，38，578-589（1995）
[22] Priami，C。；雷格夫，A。；夏皮罗，E。；Silverman，W.，《随机命名演算在分子过程表示和模拟中的应用》，《信息处理快报》，80，25-31（2001）·兹比尔0997.92018
[23] A.Regev，《计算系统生物学：生物分子知识的微积分》，特拉维夫大学博士论文，2002年；A.Regev，《计算系统生物学：生物分子知识微积分》，特拉维夫大学博士论文，2002年
[24] 雷格夫，A。；夏皮罗，E.，《细胞抽象：细胞作为计算》，《自然》，343-419（2002）
[25] 乌拉，M。；Wolkenhauer，O.，微分Chapman-Kolmogorov方程的一般推导（2006）
[26] 乌拉，M。；施密特，H。；Cho，K.-H。；Wolkenhauer，O.，使用MATLAB对路径进行确定性建模和随机模拟，IEE Proceedings Systems Biology，153，2，53-60（2006）
[27] O.沃尔肯豪尔。；乌拉，M。；科尔奇，W。；Cho，K.，《细胞内动力学的建模和模拟：选择合适的框架》，IEEE纳米生物科学汇刊，3200-207年（2004年）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。