The following pages link to Steps and traces (Q5158368):
Displaying 9 items.
- Maximal traces and path-based coalgebraic temporal logics (Q639645) (← links)
- Steps and traces (Q1798791) (← 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)
- A categorical approach to coalgebraic fixpoint logic (Q6666772) (← links)
- Graded semantics and graded logics for Eilenberg-Moore coalgebras (Q6666776) (← links)