Pages that link to "Item:Q2912693"
From MaRDI portal
The following pages link to Coalgebraic Trace Semantics for Probabilistic Transition Systems Based on Measure Theory (Q2912693):
Displaying 4 items.
- ``Keep definition, change category'' -- a practical approach to state-based system calculi (Q299180) (← links)
- Coalgebraic trace semantics for continuous probabilistic transition systems (Q2871468) (← links)
- Coalgebraic trace semantics for combined possibilitistic and probabilistic systems (Q2873666) (← links)
- Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems (Q5739363) (← links)