technical report The Measurable Space of Stochastic Processes


Abstract

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

Authors

R. Mardare,  L. Cardelli

Download

/var/papers/TR/TR-3-2010.pdf

Language

English
.