Pages that link to "Item:Q2888475"
From MaRDI portal
The following pages link to Complete Iterativity for Algebras with Effects (Q2888475):
Displaying 10 items.
- A coinductive calculus for asynchronous side-effecting processes (Q393094) (← links)
- On coalgebras over algebras (Q639641) (← links)
- Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure (Q890383) (← links)
- Behavioural equivalences for coalgebras with unobservable moves (Q890618) (← links)
- Coalgebraic semantics for nominal automata (Q2104476) (← links)
- Iterated covariant powerset is not a monad (Q2134821) (← links)
- Trace semantics via determinization (Q2341701) (← links)
- Complete Iterativity for Algebras with Effects (Q2888475) (← links)
- On Coalgebras over Algebras (Q2919449) (← links)
- A Coinductive Calculus for Asynchronous Side-Effecting Processes (Q3088290) (← links)
