Pages that link to "Item:Q5898162"
From MaRDI portal
The following pages link to Processes, Terms and Cycles: Steps on the Road to Infinity (Q5898162):
Displaying 17 items.
- Quantitative Kleene coalgebras (Q532394) (← links)
- Branching bisimulation congruence for probabilistic systems (Q764289) (← links)
- Axiomatizations for probabilistic finite-state behaviors (Q875517) (← links)
- Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes (Q974113) (← links)
- Making random choices invisible to the scheduler (Q979081) (← links)
- Compositional generation of home states in free choice nets (Q1205188) (← links)
- Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours (Q1633345) (← links)
- Syntactic partial order compression for probabilistic reachability (Q2287108) (← links)
- Leveraging weighted automata in compositional reasoning about concurrent probabilistic systems (Q2819835) (← links)
- Remarks on testing probabilistic processes (Q2864156) (← links)
- Notes on generative probabilistic bisimulation (Q2866317) (← links)
- Probabilistic barbed congruence (Q2870293) (← links)
- Deriving Syntax and Axioms for Quantitative Regular Behaviours (Q3184671) (← links)
- On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems (Q3599065) (← links)
- Compositional Methods for Information-Hiding (Q5458378) (← links)
- Non Expansive ε-Bisimulations (Q5505435) (← links)
- Foundations of Software Science and Computational Structures (Q5705912) (← links)