The following pages link to Monoid-labeled transition systems (Q4917038):
Displayed 17 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)
- Predicate liftings and functor presentations in coalgebraic expression languages (Q1798785) (← links)
- Resource bisimilarity and graded bisimilarity coincide (Q1944040) (← links)
- Combining semilattices and semimodules (Q2233397) (← links)
- The monads of classical algebra are seldom weakly Cartesian (Q2255534) (← links)
- Connected monads weakly preserve products (Q2310433) (← links)
- Distributive laws for monotone specifications (Q2329307) (← links)
- On final coalgebras of power-set functors and saturated trees (Q2516577) (← links)
- Deriving Syntax and Axioms for Quantitative Regular Behaviours (Q3184671) (← links)
- (Q5014802) (← links)
- (Q5111646) (← links)
- (Q5214815) (← links)
- Enhanced coalgebraic bisimulation (Q5361143) (← links)