Pages that link to "Item:Q5275359"
From MaRDI portal
The following pages link to Coalgebraic Infinite Traces and Kleisli Simulations (Q5275359):
Displaying 9 items.
- Quantitative simulations by matrices (Q729815) (← links)
- (in)finite trace equivalence of probabilistic transition systems (Q1798789) (← links)
- Categorical Büchi and parity conditions via alternating fixed points of functors (Q1798796) (← links)
- Traces, Executions and Schedulers, Coalgebraically (Q2888488) (← links)
- (Q4585069) (← links)
- (Q4968384) (← links)
- (Q5028446) (← links)
- (Q5875398) (← links)
- Graded semantics and graded logics for Eilenberg-Moore coalgebras (Q6666776) (← links)