Pages that link to "Item:Q2341701"
From MaRDI portal
The following pages link to Trace semantics via determinization (Q2341701):
Displaying 34 items.
- ``Keep definition, change category'' -- a practical approach to state-based system calculi (Q299180) (← links)
- Quantitative simulations by matrices (Q729815) (← links)
- Abstract interpretation of trace semantics for concurrent calculi (Q1606931) (← 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)
- Trace semantics for coalgebras (Q2847813) (← links)
- Coalgebraic trace semantics via forgetful logics (Q2974794) (← links)
- Final Semantics for Decorated Traces (Q3178274) (← links)
- Trace Semantics for IPDL (Q3457701) (← links)
- (Q4421877) (← links)
- Termination in Convex Sets of Distributions (Q4558786) (← links)
- (Q4683859) (← links)
- Feedback, trace and fixed-point semantics (Q4787833) (← links)
- Up-To Techniques for Behavioural Metrics via Fibrations (Q5009431) (← links)
- Revisiting Semantics of Interactions for Trace Validity Analysis (Q5039546) (← links)
- (Q5094151) (← links)
- (Q5111636) (← links)
- (Q5155671) (← links)
- Towards Trace Metrics via Functor Lifting (Q5275342) (← links)
- Generic Trace Semantics via Coinduction (Q5453504) (← links)
- Duality of Equations and Coequations via Contravariant Adjunctions (Q5739450) (← links)
- Up-to techniques for behavioural metrics via fibrations (Q6190392) (← links)
- Linear-time logics -- a coalgebraic perspective (Q6563060) (← links)
- Graded monads and behavioural equivalence games (Q6649498) (← links)
- Canonical automata via distributive law homomorphisms (Q6653763) (← links)
- Graded semantics and graded logics for Eilenberg-Moore coalgebras (Q6666776) (← links)
- Correspondence between composite theories and distributive laws (Q6666781) (← links)
