A Process Algebra Master Equation

@inproceedings{Cardelli2007APA,
  title={A Process Algebra Master Equation},
  author={Luca Cardelli},
  year={2007}
}
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… CONTINUE READING