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 16 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)
- Coalgebraic Trace Semantics for Probabilistic Transition Systems Based on Measure Theory (Q2912693) (← links)
- Coalgebraic Trace Semantics via Forgetful Logics (Q2948557) (← links)
- Coalgebraic trace semantics via forgetful logics (Q2974794) (← links)
- (Q3121518) (← links)
- (Q4637688) (← links)
- A coalgebraic take on regular and \(\omega\)-regular behaviour for systems with internal moves (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)