Structural Operational Semantics for Weighted Transition Systems

Weighted transition systems are defined, parametrized by a commutative monoid of weights. These systems are further understood as coalgebras for functors of a specific form. A general rule format for the SOS specification of weighted systems is obtained via the coalgebraic approach of Turi and Plotkin. Previously known formats for labelled transition systems (GSOS) and stochastic systems (SGSOS) appear as special cases.

• Type: Journal
• Year: 2009
• Where: BIRTHDAY
• Authors: Bartek Klin
• Keywords: Applied Computing, BIRTHDAY 2009, General Rule Format, Stochastic Systems, Transition Systems