Pages that link to "Item:Q5705912"
From MaRDI portal
The following pages link to Foundations of Software Science and Computational Structures (Q5705912):
Displaying 15 items.
- Quantitative Kleene coalgebras (Q532394) (← links)
- Finite axiomatization for symbolic probabilistic \(\pi \)-calculus (Q615236) (← links)
- Axiomatizations for probabilistic finite-state behaviors (Q875517) (← links)
- Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes (Q974113) (← links)
- Nonaxiomatisability of equivalences over finite state processes (Q1377607) (← links)
- Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours (Q1633345) (← links)
- Axiomatizing probabilistic processes: ACP with generative probabilities (Q1899914) (← links)
- Axiomatizing weighted synchronization trees and weighted bisimilarity (Q2447752) (← links)
- Axioms for probability and nondeterminism (Q2847403) (← 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)
- Two axiomatic approaches to the probabilistic serial mechanism (Q4586003) (← links)
- Non Expansive ε-Bisimulations (Q5505435) (← links)
- Uniform random process model revisited (Q6536319) (← links)