Pages that link to "Item:Q5492823"
From MaRDI portal
The following pages link to Algebra and Coalgebra in Computer Science (Q5492823):
Displaying 13 items.
- Quantitative simulations by matrices (Q729815) (← links)
- Probabilistic anonymity via coalgebraic simulations (Q974115) (← links)
- Categorical Büchi and parity conditions via alternating fixed points of functors (Q1798796) (← links)
- Context-free coalgebras (Q2341705) (← links)
- Processes as formal power series: a coinductive approach to denotational semantics (Q2503337) (← links)
- Coalgebraic characterizations of context-free languages (Q2848359) (← links)
- Coalgebraic trace semantics for combined possibilitistic and probabilistic systems (Q2873666) (← links)
- Traces, Executions and Schedulers, Coalgebraically (Q2888488) (← links)
- Coalgebraic Trace Semantics via Forgetful Logics (Q2948557) (← links)
- Coalgebraic trace semantics via forgetful logics (Q2974794) (← links)
- (Q2980965) (← links)
- (Q4256310) (← links)
- (Q4608676) (← links)