Structural operational semantics for stochastic and weighted transition systems

Structural operational semantics for stochastic and weighted transition systems
复制标题

DOI：
10.1016/j.ic.2013.04.001
复制
发表时间：
2013-06
期刊：
Inf. Comput.
影响因子：
--
通讯作者：
Bartek Klin;V. Sassone
Bartek Klin;V. Sassone
中科院分区：
其他
文献类型：
--
作者：
Bartek Klin;V. Sassone

文献摘要

相似文献

我们引入加权GSOS，一个通用的语法框架，指定行为良好的过渡系统，过渡配备来自一个交换幺半群的权重。我们证明了加权双相似性是一个同余系统定义的加权GSOS规范。我们通过实例化它来说明框架的灵活性，以处理一些特殊情况，最显着的是随机过渡系统。通过实例给出了文献中常见随机算子的加权GSOS定义。
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.