SOS specifications for uniformly continuous operators
From MaRDI portal
compositional reasoningprobabilistic process algebrasSOS specification formatsstructural operational semanticsuniform continuity
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Recommendations
- Sós specifications of probabilistic systems by uniformly continuous operators
- Compositional metric reasoning with probabilistic process calculi
- Fixed-point characterization of compositionality properties of probabilistic processes combinators
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi
- Structural operational semantics for continuous state probabilistic processes
Cites work
- A behavioural pseudometric for probabilistic transition systems
- A general SOS theory for the specification of probabilistic transition systems
- A logic for reasoning about time and reliability
- A Proof System for Compositional Verification of Probabilistic Concurrent Processes
- A structural approach to operational semantics
- Automata, Languages and Programming
- Bisimulation can't be traced
- Bisimulation through probabilistic testing
- Branching bisimulation for probabilistic systems: characteristics and decidability
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi
- Compositional metric reasoning with probabilistic process calculi
- Compositionality of approximate bisimulation for probabilistic systems
- Compositionality of Hennessy-Milner logic by structural operational semantics
- Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics
- Converging from Branching to Linear Metrics on Markov Chains
- Divide and congruence. II: Delay and weak bisimilarity
- Divide and congruence: from decomposition of modal formulas to preservation of branching and -bisimilarity
- Fixed-point characterization of compositionality properties of probabilistic processes combinators
- Formal verification of parallel programs
- Formal verification of timed properties of randomized distributed algorithms
- Game Refinement Relations and Metrics
- Generalized Bisimulation Metrics
- Higher-level synchronising devices in Meije-SCCS
- scientific article; zbMATH DE number 1696898 (Why is no real title available?)
- scientific article; zbMATH DE number 729460 (Why is no real title available?)
- 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?)
- scientific article; zbMATH DE number 7318983 (Why is no real title available?)
- scientific article; zbMATH DE number 5222499 (Why is no real title available?)
- Labelled Markov processes.
- Linear distances between Markov chains
- Logical characterization of branching metrics for nondeterministic probabilistic transition systems
- Metric reasoning about λ-terms: The affine case
- Metric reasoning about -terms: the general case
- Metric semantics for true concurrent real time
- Metrics for labelled Markov processes
- Modal decomposition on nondeterministic probabilistic processes
- Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes
- On behavioural pseudometrics and closure ordinals
- Precongruence formats for decorated trace semantics
- 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
- Semantics of probabilistic processes. An operational approach
- SOS formats and meta-theory: 20 years after
- Structural operational semantics for continuous state stochastic transition systems
- Structural operational semantics.
- Sós specifications of probabilistic systems by uniformly continuous operators
- Taking it to the limit: approximate reasoning for Markov processes
- The quantitative linear-time-branching-time spectrum
- Tree rules in probabilistic transition system specifications with negative and quantitative premises
- Turning SOS rules into equations
- Weak simulation quasimetric in a gossip scenario
Cited in
(17)- The metric linear-time branching-time spectrum on nondeterministic probabilistic processes
- Probabilistic divide \& congruence: branching bisimilarity
- A probabilistic calculus of cyber-physical systems
- Logical characterization of branching metrics for nondeterministic probabilistic transition systems
- Compositional metric reasoning with probabilistic process calculi
- Equational reasonings in wireless network gossip protocols
- SOS-based modal decomposition on nondeterministic probabilistic processes
- Fixed-point characterization of compositionality properties of probabilistic processes combinators
- Monads and Quantitative Equational Theories for Nondeterminism and Probability
- Sós specifications of probabilistic systems by uniformly continuous operators
- A framework to measure the robustness of programs in the unpredictable environment
- Back to the format: a survey on SOS for probabilistic processes
- Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics
- Tropical mathematics and the lambda-calculus I: metric and differential analysis of effectful programs
- Contextual behavioural metrics
- Fan-causality and uniform continuity on final coalgebras
- A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces
This page was built for publication: SOS specifications for uniformly continuous operators
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1678172)
