The following pages link to Steps and traces (Q1798791):
Displaying 10 items.
- Initial algebras and final coalgebras consisting of nondeterministic finite trace strategies (Q2134814) (← links)
- Iterated covariant powerset is not a monad (Q2134821) (← links)
- Trace semantics via determinization (Q2341701) (← links)
- Trace semantics for coalgebras (Q2847813) (← links)
- A coalgebraic approach to process equivalence and a coinduction principle for traces (Q2847815) (← links)
- Generic trace theory (Q2863893) (← links)
- Coalgebraic trace semantics for combined possibilitistic and probabilistic systems (Q2873666) (← links)
- Steps and traces (Q5158368) (← links)
- (Q5875398) (← links)
- Graded monads and behavioural equivalence games (Q6649498) (← links)