DMCA
Structural Operational Semantics for Stochastic and Weighted Transition Systems (2013)
| Citations: | 2 - 0 self |
BibTeX
@MISC{Klin13structuraloperational,
author = {Bartek Klin and Vladimiro Sassone},
title = {Structural Operational Semantics for Stochastic and Weighted Transition Systems},
year = {2013}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
We introduce weighted GSOS, a general syntactic framework to specify well-behaved transition systems where transitions are equipped with weights coming from a commutative monoid. We prove that weighted bisimilarity is a congruence on systems defined by weighted GSOS specifications. We illustrate the flexibility of the framework by instantiating it to handle some special cases, most notably that of stochastic transition systems. Through examples we provide weighted-GSOS definitions for common stochastic operators in the literature.
Keyphrases
weighted transition system structural operational semantics weighted-gsos definition weighted gsos weighted bisimilarity stochastic transition system commutative monoid common stochastic operator well-behaved transition system special case general syntactic framework weighted gsos specification
