Structural Operational Semantics for Stochastic Process Calculi
by
Bartek Klin
,
Vladimiro Sassone
| Citations: | 5 - 0 self |
BibTeX
@MISC{Klin_structuraloperational,
author = {Bartek Klin and Vladimiro Sassone},
title = {Structural Operational Semantics for Stochastic Process Calculi},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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. 1
