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).
- Pre print
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.
|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
|Date Deposited:||10 Mar 2012 12:52|
|Last Modified:||22 May 2013 08:58|
|Contributors:||Klin, Bartek (Author)
Sassone, Vladimiro (Author)
|Further Information:||Google Scholar|
|RDF:||RDF+N-Triples, RDF+N3, RDF+XML, Browse.|
Actions (login required)