SOS-based modal decomposition on nondeterministic probabilistic processes
DOI10.23638/LMCS-14(2:18)2018zbMATH Open1448.68333arXiv1701.08330MaRDI QIDQ4580323FDOQ4580323
Valentina Castiglioni, Daniel Gebler, Simone Tini
Publication date: 15 August 2018
Full work available at URL: https://arxiv.org/abs/1701.08330
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 \(\eta \)-bisimilarity
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)
Cites Work
- Algebraic laws for nondeterminism and concurrency
- Bisimulation can't be traced
- Bisimulation through probabilistic testing
- Metrics for labelled Markov processes
- Title not available (Why is that?)
- Reactive, generative, and stratified models of probabilistic processes
- Branching bisimulation for probabilistic systems: characteristics and decidability
- Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
- Characterising Testing Preorders for Finite Probabilistic Processes
- Compositionality of Hennessy-Milner logic by structural operational semantics
- Compositionality Through an Operational Semantics of Contexts
- Divide and congruence: from decomposition of modal formulas to preservation of branching and \(\eta \)-bisimilarity
- Precongruence formats for decorated trace semantics
- Logical Characterizations of Bisimulations for Discrete Probabilistic Systems
- Characterising Probabilistic Processes Logically
- Title not available (Why is that?)
- SOS specifications for uniformly continuous operators
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi
- Title not available (Why is that?)
- Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules
- Probabilistic bisimulation as a congruence
- Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation
- Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics
- Compositional Metric Reasoning with Probabilistic Process Calculi
- Modal Decomposition on Nondeterministic Probabilistic Processes
- Divide and Congruence II
- SOS specifications of probabilistic systems by uniformly continuous operators
- Divide and congruence III: Stability & divergence
- Logical characterization of bisimulation for transition relations over probability distributions with internal actions
Cited In (5)
- Probabilistic divide \& congruence: branching bisimilarity
- 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
- Title not available (Why is that?)
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)
