The Measurable Space of Stochastic Processes

The Measurable Space of Stochastic Processes Luca Cardelli Microsoft Research Cambridge, UK Email: luca@microsoft.com Radu Mard ar The Microsoft Research-University of Trento im bear witnessr for Computational and Systems Biology Trento, Italy Email: mard be@cosbi.eu AbstractWe introduce a stochastic extension of CCS invest with geomorphological operational semantics utter in terms of measure theory. The lop of butt ones is arrange as a measurable space by the sigma-algebra generated by geomorphological congruence. The structural operational semantics associates to each move a set of measures over the space of litigatees. The measures encode the rates of the transitions from a litigate (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 ritzy operational semantics, our calculus provides a canonic direction to de?ne metrics on processes that measure that m easure how corresponding cardinal processes atomic number 18 in terms of behaviour. Keywords-Markov processes, stochastic process algebras, structural operational semantics I. I NTRODUCTION Process algebras (PAs) [2] ar formalisms knowing to puff the evolution of concurrent communicating systems.

For capturing observable behaviors, PAs are conceptualised on two orthogonal axes. From an algebraic point of view, they are endowed with construction principles in the form of algebraic trading operations that accommodate composing larger processes from more basic ones; a process is identi?ed by its algebraic te rm. On the former(a) hand, thither exists a ! notion of nondeterministic evolution, described by a coalgebraic structure, in the form of a transition system. The algebraic and coalgebraic structures are not independent: Structural Operational Semantics (SOS) de?nes the behavior of a process inductively on its syntactic structure. In this way, classic PAs are support by an easy and appealing underlying theory that guarantees their success. In the past...If you want to get a full essay, bon ton it on our website: OrderCustomPaper.com

If you want to get a full essay, visit our page: write my paper