Pages that link to "Item:Q2873666"
From MaRDI portal
The following pages link to Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems (Q2873666):
Displaying 12 items.
- Identifying all preorders on the subdistribution monad (Q283773) (← links)
- A coalgebraic approach to non-determinism: applications to multilattices (Q621576) (← links)
- Behavioural equivalences for coalgebras with unobservable moves (Q890618) (← links)
- Probabilistic mediator: a coalgebraic perspective (Q2079684) (← links)
- Combining semilattices and semimodules (Q2233397) (← links)
- (Q3121518) (← links)
- (Q5009440) (← links)
- Convexity via Weak Distributive Laws (Q5060194) (← links)
- Monads and Quantitative Equational Theories for Nondeterminism and Probability (Q5089294) (← links)
- (Q5094151) (← links)
- (Q5111636) (← links)
- (Q5155671) (← links)
