特邀演讲:过程代数主方程

Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) Pub Date : 2007-09-17 DOI:10.1109/QEST.2007.26

L. Cardelli

{"title":"特邀演讲:过程代数主方程","authors":"L. Cardelli","doi":"10.1109/QEST.2007.26","DOIUrl":null,"url":null,"abstract":"A master equation provides a complete probabilistic description of the dynamics of stochastic processes. We give a master equation for a small stochastic process algebra (a subset of CCS with interaction rates). We show that it is equivalent to the standard chemical master equation, connecting our process algebra to the stochastic chemistry of unary and binary reactions.","PeriodicalId":249627,"journal":{"name":"Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007)","volume":"39 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2007-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"6","resultStr":"{\"title\":\"Invited Talk: A Process Algebra Master Equation\",\"authors\":\"L. Cardelli\",\"doi\":\"10.1109/QEST.2007.26\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A master equation provides a complete probabilistic description of the dynamics of stochastic processes. We give a master equation for a small stochastic process algebra (a subset of CCS with interaction rates). We show that it is equivalent to the standard chemical master equation, connecting our process algebra to the stochastic chemistry of unary and binary reactions.\",\"PeriodicalId\":249627,\"journal\":{\"name\":\"Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007)\",\"volume\":\"39 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2007-09-17\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"6\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/QEST.2007.26\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/QEST.2007.26","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 6

摘要

主方程提供了随机过程动力学的完整概率描述。我们给出了一个小随机过程代数(具有交互率的CCS子集)的主方程。我们证明它与标准化学主方程是等价的，将我们的过程代数与一元和二元反应的随机化学联系起来。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Invited Talk: A Process Algebra Master Equation

A master equation provides a complete probabilistic description of the dynamics of stochastic processes. We give a master equation for a small stochastic process algebra (a subset of CCS with interaction rates). We show that it is equivalent to the standard chemical master equation, connecting our process algebra to the stochastic chemistry of unary and binary reactions.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007)

自引率

0.00%

发文量