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):
Displaying 7 items.
- Structural operational semantics for non-deterministic processes with quantitative aspects (Q507377) (← links)
- Behavioural equivalences for coalgebras with unobservable moves (Q890618) (← links)
- Coalgebraic semantics for nominal automata (Q2104476) (← links)
- (Q5009440) (← links)
- (Q5028446) (← links)
- Lawvere Categories as Composed PROPs (Q5739447) (← links)
- Product Rules and Distributive Laws (Q5739452) (← links)
