The following pages link to Monoid-labeled transition systems (Q4917038):
Displaying 7 items.
- A coalgebraic perspective on linear weighted automata (Q418134) (← links)
- Structural operational semantics for non-deterministic processes with quantitative aspects (Q507377) (← links)
- Quantitative Kleene coalgebras (Q532394) (← links)
- Copower functors (Q1006640) (← links)
- A complete logic for behavioural equivalence in coalgebras of finitary set functors (Q1683709) (← links)
- Resource bisimilarity and graded bisimilarity coincide (Q1944040) (← links)
- Distributive laws for monotone specifications (Q2329307) (← links)
