ICALP'11 Proceedings of the 38th international conference on Automata, languages and programming - Volume Part II
On quantitative security policies
PaCT'11 Proceedings of the 11th international conference on Parallel computing technologies
Measurable stochastics for Brane Calculus
Theoretical Computer Science
Decidability of modular logics for concurrency
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
Structural operational semantics for stochastic and weighted transition systems
Information and Computation
A uniform definition of stochastic process calculi
ACM Computing Surveys (CSUR)
| Hi-index | 0.00 |
We introduce a stochastic extension of CCS endowed with structural operational semantics expressed in terms of measure theory. The set of processes is organised as a measurable space by the sigma-algebra generated by structural congruence. The structural operational semantics associates to each process a set of measures over the space of processes. The measures encode the rates of the transitions from a process (state of a system) to a measurable set of processes. We prove that stochastic bisimulation is a congruence that extends structural congruence. In addition to an elegant operational semantics, our calculus provides a canonic way to define metrics on processes that measure that measure how similar two processes are in terms of behaviour.