Pages that link to "Item:Q5739363"
From MaRDI portal
The following pages link to Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems (Q5739363):
Displaying 8 items.
- Long-term values in Markov decision processes, (co)algebraically (Q1798787) (← links)
- (in)finite trace equivalence of probabilistic transition systems (Q1798789) (← links)
- Complete axiomatization for the total variation distance of Markov chains (Q2130580) (← links)
- Towards general axiomatizations for bisimilarity and trace semantics (Q2237336) (← links)
- Congruences of convex algebras. (Q2341527) (← links)
- Trace semantics via determinization (Q2341701) (← links)
- (Q4683859) (← links)
- Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems (Q5739363) (← links)
