Pages that link to "Item:Q890383"
From MaRDI portal
The following pages link to Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure (Q890383):
Displayed 4 items.
- Structural operational semantics for non-deterministic processes with quantitative aspects (Q507377) (← links)
- Behavioural equivalences for coalgebras with unobservable moves (Q890618) (← links)
- Lawvere Categories as Composed PROPs (Q5739447) (← links)
- Product Rules and Distributive Laws (Q5739452) (← links)