The following pages link to (Q2908856):
Displayed 18 items.
- A general account of coinduction up-to (Q523132) (← links)
- Bialgebraic foundations for the operational semantics of string diagrams (Q2051792) (← links)
- Corecursion up-to via causal transformations (Q2104483) (← links)
- Bisimulation and coinduction enhancements: a historical perspective (Q2280213) (← links)
- Trace semantics via determinization (Q2341701) (← links)
- Context-free coalgebras (Q2341705) (← links)
- A (co)algebraic theory of succinct automata (Q2423764) (← links)
- Companions, Codensity and Causality (Q2988363) (← links)
- Final Semantics for Decorated Traces (Q3178274) (← links)
- Termination in Convex Sets of Distributions (Q4558786) (← links)
- (Q5094151) (← links)
- (Q5111636) (← links)
- (Q5155671) (← links)
- Simplified Coalgebraic Trace Equivalence (Q5256339) (← links)
- Algebra-coalgebra duality in brzozowski's minimization algorithm (Q5410330) (← links)
- Initial Algebras of Terms with Binding and Algebraic Structure (Q5414966) (← links)
- Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems (Q5739363) (← links)
- Product Rules and Distributive Laws (Q5739452) (← links)