DocumentCode
3464817
Title
Invited Talk: A Process Algebra Master Equation
Author
Cardelli, Luca
Author_Institution
Microsoft Res., Redmond
fYear
2007
fDate
17-19 Sept. 2007
Firstpage
219
Lastpage
226
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.
Keywords
algebra; chemical reactions; stochastic processes; chemical reactions; probabilistic description; process algebra master equation; stochastic processes;
fLanguage
English
Publisher
ieee
Conference_Titel
Quantitative Evaluation of Systems, 2007. QEST 2007. Fourth International Conference on the
Conference_Location
Edinburgh
Print_ISBN
978-0-7695-2883-0
Type
conf
DOI
10.1109/QEST.2007.26
Filename
4338261
Link To Document