Invited Talk: A Process Algebra Master Equation

Authors:
Luca Cardelli
Affiliations:
Microsoft Research
Venue:
QEST '07 Proceedings of the Fourth International Conference on Quantitative Evaluation of Systems
Year:
2007

Citing 0
Cited 4

On process rate semantics

Theoretical Computer Science
On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation

Electronic Notes in Theoretical Computer Science (ENTCS)
A fluid analysis framework for a Markovian process algebra

Theoretical Computer Science
Towards Measurable Types for Dynamical Process Modeling Languages

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

A Master Equation provides a complete probabilis-tic 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 bi-nary reactions.