19 citations · 96 across the 34 of their papers we have counts for
1 paper · 1 filter
Marino Miculan, Marco Peressotti
Weighted labelled transition systems are LTSs whose transitions are given weights drawn from a commutative monoid. WLTSs subsume a wide range of LTSs, providing a general notion of…