期刊
INFORMATION AND COMPUTATION
卷 227, 期 -, 页码 58-83出版社
ACADEMIC PRESS INC ELSEVIER SCIENCE
DOI: 10.1016/j.ic.2013.04.001
关键词
-
资金
- EPSRC [EP/F042337/1, EP/K003968/1] Funding Source: UKRI
- Engineering and Physical Sciences Research Council [EP/F042337/1, EP/K003968/1] Funding Source: researchfish
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. (C) 2013 Elsevier Inc. All rights reserved.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据