Pages that link to "Item:Q2946567"
From MaRDI portal
The following pages link to Probabilistic bisimulation as a congruence (Q2946567):
Displaying 20 items.
- Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes (Q974113) (← links)
- Additive models of probabilistic processes (Q1607220) (← links)
- SOS specifications for uniformly continuous operators (Q1678172) (← links)
- Reactive, generative, and stratified models of probabilistic processes (Q1898113) (← links)
- Probabilistic divide \& congruence: branching bisimilarity (Q2007735) (← links)
- Logical characterization of branching metrics for nondeterministic probabilistic transition systems (Q2272986) (← links)
- A general SOS theory for the specification of probabilistic transition systems (Q2629851) (← links)
- GSOS for probabilistic transition systems (extended abstract) (Q2842551) (← links)
- Notes on generative probabilistic bisimulation (Q2866317) (← links)
- Probabilistic barbed congruence (Q2870293) (← links)
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi (Q2974795) (← links)
- (Q3023541) (← links)
- Probabilistic Bisimulation: Naturally on Distributions (Q3190122) (← links)
- (Q4535031) (← links)
- (Q4580323) (← links)
- (Q5013870) (← links)
- Branching Bisimulation Congruence for Probabilistic Systems (Q5415667) (← links)
- Non Expansive ε-Bisimulations (Q5505435) (← links)
- Foundations of Software Science and Computational Structures (Q5705909) (← links)
- Back to the format: a survey on SOS for probabilistic processes (Q6151619) (← links)