Pages that link to "Item:Q5705912"
From MaRDI portal
The following pages link to Foundations of Software Science and Computational Structures (Q5705912):
Displayed 7 items.
- Quantitative Kleene coalgebras (Q532394) (← links)
- Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes (Q974113) (← links)
- Axiomatizing weighted synchronization trees and weighted bisimilarity (Q2447752) (← links)
- Remarks on Testing Probabilistic Processes (Q2864156) (← links)
- Notes on Generative Probabilistic Bisimulation (Q2866317) (← links)
- Deriving Syntax and Axioms for Quantitative Regular Behaviours (Q3184671) (← links)
- Non Expansive ε-Bisimulations (Q5505435) (← links)