SOS-based modal decomposition on nondeterministic probabilistic processes
From MaRDI portal
(Redirected from Publication:4580323)
SOSlogical characterizationdecomposition of modal formulaenondeterministic probabilistic process algebras
Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Modal logic (including the logic of norms) (03B45) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Recommendations
- Modal decomposition on nondeterministic probabilistic processes
- Probabilistic divide \& congruence: branching bisimilarity
- Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics
- Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation
- Divide and congruence: from decomposition of modal formulas to preservation of branching and -bisimilarity
Cites work
- scientific article; zbMATH DE number 1864592 (Why is no real title available?)
- scientific article; zbMATH DE number 2102773 (Why is no real title available?)
- Algebraic laws for nondeterminism and concurrency
- Axiomatizing bisimulation equivalences and metrics from probabilistic SOS rules
- Bisimulation can't be traced
- Bisimulation through probabilistic testing
- Branching bisimulation for probabilistic systems: characteristics and decidability
- Characterising Testing Preorders for Finite Probabilistic Processes
- Characterising probabilistic processes logically (extended abstract)
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi
- Compositional metric reasoning with probabilistic process calculi
- Compositionality Through an Operational Semantics of Contexts
- Compositionality of Hennessy-Milner logic by structural operational semantics
- Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics
- Divide and congruence. II: Delay and weak bisimilarity
- Divide and congruence. III: Stability \& divergence
- Divide and congruence: from decomposition of modal formulas to preservation of branching and -bisimilarity
- Fixed-point characterization of compositionality properties of probabilistic processes combinators
- Logical Characterizations of Bisimulations for Discrete Probabilistic Systems
- Logical characterization of bisimulation for transition relations over probability distributions with internal actions
- Metrics for labelled Markov processes
- Modal decomposition on nondeterministic probabilistic processes
- Precongruence formats for decorated trace semantics
- Probabilistic bisimulation as a congruence
- Probabilistic transition system specification: congruence and full abstraction of bisimulation
- Reactive, generative, and stratified models of probabilistic processes
- Revisiting trace and testing equivalences for nondeterministic and probabilistic processes
- SOS specifications for uniformly continuous operators
- Sós specifications of probabilistic systems by uniformly continuous operators
Cited in
(10)- Probabilistic divide \& congruence: branching bisimilarity
- Decomposing monolithic processes in a process algebra with multi-actions
- The way we were: structural operational semantics research in perspective
- The metric linear-time branching-time spectrum on nondeterministic probabilistic processes
- Back to the format: a survey on SOS for probabilistic processes
- Logical characterization of branching metrics for nondeterministic probabilistic transition systems
- scientific article; zbMATH DE number 7447772 (Why is no real title available?)
- Modal decomposition on nondeterministic probabilistic processes
- Logical characterization of branching bisimilarity over random processes
- Decomposing monolithic processes in a process algebra with multi-actions
This page was built for publication: SOS-based modal decomposition on nondeterministic probabilistic processes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4580323)
