Pages that link to "Item:Q3184671"
From MaRDI portal
The following pages link to Deriving Syntax and Axioms for Quantitative Regular Behaviours (Q3184671):
Displaying 4 items.
- Quantitative Kleene coalgebras (Q532394) (← links)
- Complete axiomatization for the total variation distance of Markov chains (Q2130580) (← links)
- Deriving Syntax and Axioms for Quantitative Regular Behaviours (Q3184671) (← links)
- A semiring-based trace semantics for processes with applications to information leakage analysis (Q5740623) (← links)
