Compositional bisimulation metric reasoning with Probabilistic Process Calculi
From MaRDI portal
Recommendations
- Compositional metric reasoning with probabilistic process calculi
- Compositionality of approximate bisimulation for probabilistic systems
- Axiomatizing bisimulation equivalences and metrics from probabilistic SOS rules
- Bisimulation and cocongruence for probabilistic systems
- scientific article; zbMATH DE number 1754605
- Bisimulation for probabilistic transition systems: a coalgebraic approach
- Bisimulation for probabilistic transition systems: A coalgebraic approach
- scientific article; zbMATH DE number 1231649
- A Proof System for Compositional Verification of Probabilistic Concurrent Processes
- Probabilistic weak bisimulation and axiomatization for probabilistic models
Cites work
- scientific article; zbMATH DE number 2038772 (Why is no real title available?)
- scientific article; zbMATH DE number 1927573 (Why is no real title available?)
- scientific article; zbMATH DE number 1754609 (Why is no real title available?)
- scientific article; zbMATH DE number 794262 (Why is no real title available?)
- A Proof System for Compositional Verification of Probabilistic Concurrent Processes
- A behavioural pseudometric for probabilistic transition systems
- A logic for reasoning about time and reliability
- Bisimulation can't be traced
- Bisimulation through probabilistic testing
- Compositional metric reasoning with probabilistic process calculi
- Compositionality of Hennessy-Milner logic by structural operational semantics
- Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics
- Computing behavioral distances, compositionally
- Divide and congruence: from decomposition of modal formulas to preservation of branching and -bisimilarity
- Formal verification of parallel programs
- Generalized Bisimulation Metrics
- Metrics for labelled Markov processes
- Modal decomposition on nondeterministic probabilistic processes
- Non Expansive ε-Bisimulations
- Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes
- On behavioural pseudometrics and closure ordinals
- Probabilistic barbed congruence
- Probabilistic bisimulation as a congruence
- Probabilistic extensions of process algebras.
- Probabilistic transition system specification: congruence and full abstraction of bisimulation
- Remarks on testing probabilistic processes
- SOS formats and meta-theory: 20 years after
- Structural operational semantics.
- Sós specifications of probabilistic systems by uniformly continuous operators
- The quantitative linear-time-branching-time spectrum
- Turning SOS rules into equations
- Upper-expectation bisimilarity and Łukasiewicz -calculus
Cited in
(25)- A framework to measure the robustness of programs in the unpredictable environment
- Probabilistic divide \& congruence: branching bisimilarity
- A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces
- SOS-based modal decomposition on nondeterministic probabilistic processes
- The metric linear-time branching-time spectrum on nondeterministic probabilistic processes
- Contextual behavioural metrics
- Composing codensity bisimulations
- Up-to techniques for behavioural metrics via fibrations
- How adaptive and reliable is your program?
- Back to the format: a survey on SOS for probabilistic processes
- SOS specifications for uniformly continuous operators
- Equational reasonings in wireless network gossip protocols
- Fixed-point characterization of compositionality properties of probabilistic processes combinators
- A probabilistic calculus of cyber-physical systems
- Logical characterization of bisimulation metrics
- Logical characterization of branching metrics for nondeterministic probabilistic transition systems
- Approximate reasoning for real-time probabilistic processes
- Up-to techniques for behavioural metrics via fibrations
- Differential logical relations. II: Increments and derivatives
- Compositional metric reasoning with probabilistic process calculi
- \textsc{ULTraS} at work: compositionality metaresults for bisimulation and trace semantics
- Sós specifications of probabilistic systems by uniformly continuous operators
- Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics
- Monads and Quantitative Equational Theories for Nondeterminism and Probability
- Compositional weak metrics for group key update
This page was built for publication: Compositional bisimulation metric reasoning with Probabilistic Process Calculi
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2974795)
