Structural operational semantics for stochastic and weighted transition systems

Klin, Bartek and Sassone, Vladimiro (2013) Structural operational semantics for stochastic and weighted transition systems. Information and Computation, 227, 58-83. (doi:10.1016/j.ic.2013.04.001).


[img] PDF - Author's Original
Download (220Kb)


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.

Item Type: Article
Digital Object Identifier (DOI): doi:10.1016/j.ic.2013.04.001
ISSNs: 0890-5401 (print)
1090-2651 (electronic)
Keywords: gsos, stochastic systems, rule formats, operational semantics
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions : Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Web & Internet Science
ePrint ID: 335288
Accepted Date and Publication Date:
June 2013Published
9 April 2013Made publicly available
Date Deposited: 10 Mar 2012 12:52
Last Modified: 31 Mar 2016 14:24
Further Information:Google Scholar

Actions (login required)

View Item View Item

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics