Pages that link to "Item:Q2341701"
From MaRDI portal
The following pages link to Trace semantics via determinization (Q2341701):
Displaying 20 items.
- ``Keep definition, change category'' -- a practical approach to state-based system calculi (Q299180) (← links)
- Quantitative simulations by matrices (Q729815) (← links)
- Coalgebraic minimization of automata by initiality and finality (Q1744392) (← links)
- Long-term values in Markov decision processes, (co)algebraically (Q1798787) (← links)
- (in)finite trace equivalence of probabilistic transition systems (Q1798789) (← links)
- Steps and traces (Q1798791) (← links)
- Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic (Q2104473) (← links)
- Coalgebraic semantics for nominal automata (Q2104476) (← links)
- Algebraic presentation of semifree monads (Q2104481) (← links)
- Initial algebras and final coalgebras consisting of nondeterministic finite trace strategies (Q2134814) (← links)
- Iterated covariant powerset is not a monad (Q2134821) (← links)
- Coalgebraic trace semantics via forgetful logics (Q2974794) (← links)
- Termination in Convex Sets of Distributions (Q4558786) (← links)
- (Q4683859) (← links)
- Up-To Techniques for Behavioural Metrics via Fibrations (Q5009431) (← links)
- (Q5094151) (← links)
- (Q5111636) (← links)
- (Q5155671) (← links)
- Duality of Equations and Coequations via Contravariant Adjunctions (Q5739450) (← links)
- Up-to techniques for behavioural metrics via fibrations (Q6190392) (← links)
