Pages that link to "Item:Q2871468"
From MaRDI portal
The following pages link to Coalgebraic Trace Semantics for Continuous Probabilistic Transition Systems (Q2871468):
Displaying 10 items.
- Quantitative simulations by matrices (Q729815) (← links)
- Generic weakest precondition semantics from monads enriched with order (Q890376) (← links)
- Behavioural equivalences for coalgebras with unobservable moves (Q890618) (← links)
- (in)finite trace equivalence of probabilistic transition systems (Q1798789) (← links)
- Probabilistic mediator: a coalgebraic perspective (Q2079684) (← links)
- (Q3121518) (← links)
- (Q4585069) (← links)
- (Q5002798) (← links)
- (Q5875398) (← links)
- Graded semantics and graded logics for Eilenberg-Moore coalgebras (Q6666776) (← links)
