The following pages link to (Q4798042):
Displaying 10 items.
- Structural congruence for bialgebraic semantics (Q338626) (← links)
- Quantitative Kleene coalgebras (Q532394) (← links)
- Concurrent weighted logic (Q890620) (← links)
- Cost-related interface for software product lines (Q898616) (← links)
- Bisimulation relations for weighted automata (Q2481957) (← links)
- Deriving Syntax and Axioms for Quantitative Regular Behaviours (Q3184671) (← links)
- Weighted Bisimulation in Linear Algebraic Form (Q3184672) (← links)
- There are Two Sides to Every Question (Q3460874) (← links)
- Enhanced coalgebraic bisimulation (Q5361143) (← links)
- Model checking for a class of weighted automata (Q5962025) (← links)
