Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

15

BIRTHDAY
2009
Springer

favoriteEmaildiscussreport

127views Applied Computing» more BIRTHDAY 2009»

Structural Operational Semantics for Weighted Transition Systems

13 years 2 months ago

Structural Operational Semantics for Weighted Transition Systems

Download www.mimuw.edu.pl

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.

Bartek Klin

Real-time Traffic

Applied Computing | BIRTHDAY 2009 | General Rule Format | Stochastic Systems | Transition Systems |

claim paper

Related Content

» Structural Operational Semantics for Stochastic Process Calculi

» A structured operational semantics for UMLstatecharts

» Operator Algebras and the Operational Semantics of Probabilistic Languages

» Models for NamePassing Processes Interleaving and Causal

» Modular Structural Operational Semantics with Strategies

» Algebraic results for structured operational semantics

» Congruence for Structural Congruences

» Executable structural operational semantics in Maude

» The Measurable Space of Stochastic Processes

Post Info
More Details (n/a)

Added	16 Feb 2011
Updated	16 Feb 2011
Type	Journal
Year	2009
Where	BIRTHDAY
Authors	Bartek Klin

Comments (0)