Pages that link to "Item:Q890618"
From MaRDI portal
The following pages link to Behavioural equivalences for coalgebras with unobservable moves (Q890618):
Displayed 8 items.
- Structural operational semantics for non-deterministic processes with quantitative aspects (Q507377) (← links)
- A general account of coinduction up-to (Q523132) (← links)
- Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure (Q890383) (← links)
- (Q3121518) (← links)
- (Q4585069) (← links)
- (Q5009440) (← links)
- (Q5028446) (← links)
- (Q5155676) (← links)