SOS-based modal decomposition on nondeterministic probabilistic processes
From MaRDI portal
decomposition of modal formulaelogical characterizationnondeterministic probabilistic process algebrasSOS
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) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
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
- 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 probabilistic processes logically (extended abstract)
- Characterising Testing Preorders for Finite Probabilistic Processes
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi
- 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
- Compositionality Through an Operational Semantics of Contexts
- 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
- scientific article; zbMATH DE number 1864592 (Why is no real title available?)
- scientific article; zbMATH DE number 2102773 (Why is no real title available?)
- Logical characterization of bisimulation for transition relations over probability distributions with internal actions
- Logical Characterizations of Bisimulations for Discrete Probabilistic Systems
- 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)- The metric linear-time branching-time spectrum on nondeterministic probabilistic processes
- Probabilistic divide \& congruence: branching bisimilarity
- Logical characterization of branching metrics for nondeterministic probabilistic transition systems
- Decomposing monolithic processes in a process algebra with multi-actions
- Trace and testing metrics on nondeterministic probabilistic processes
- Modal decomposition on nondeterministic probabilistic processes
- Back to the format: a survey on SOS for probabilistic processes
- Decomposing monolithic processes in a process algebra with multi-actions
- Logical characterization of branching bisimilarity over random processes
- The way we were: structural operational semantics research in perspective
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)
