Sciweavers

FOSSACS
2008
Springer

Structural Operational Semantics for Stochastic Process Calculi

13 years 5 months ago
Structural Operational Semantics for Stochastic Process Calculi
Abstract. A syntactic framework called SGSOS, for defining well-behaved Markovian stochastic transition systems, is introduced by analogy to the GSOS congruence format for nondeterministic processes. Stochastic bisimilarity is guaranteed a congruence for systems defined by SGSOS rules. Associativity of parallel composition in stochastic process algebras is also studied within the framework.
Bartek Klin, Vladimiro Sassone
Added 26 Oct 2010
Updated 26 Oct 2010
Type Conference
Year 2008
Where FOSSACS
Authors Bartek Klin, Vladimiro Sassone
Comments (0)