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.