technical report The Measurable Space of Stochastic Processes


We introduce a stochastic extension of CCS based on the mass action law and endowed with a structural operational semantics expressed in terms of measure theory. The measurable space of processes is defined for the sigma-algebra of structural congruence-closed sets. The structural operational semantics associates to each process an action-indexed class of measures over the space of processes. These compute the rates of the transitions from a state of a system to a measurable set of states. In this setting, we prove that stochastic bisimulation is a congruence that extends structural congruence.

Paper Details


R. Mardare,  L. Cardelli