Sciweavers

BIRTHDAY
2009
Springer
15 years 1 days ago
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 gene...
Bartek Klin