scientific article; zbMATH DE number 6917938

DOI10.23638/LMCS-14(2:18)2018zbMath1448.68333arXiv1701.08330MaRDI QIDQ4580323

Valentina Castiglioni, Daniel Gebler, Simone Tini

Publication date: 15 August 2018

Full work available at URL: https://arxiv.org/abs/1701.08330

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

SOSlogical characterizationdecomposition of modal formulaenondeterministic probabilistic process algebras

Mathematics Subject Classification ID

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)

Related Items

Back to the format: a survey on SOS for probabilistic processes, Unnamed Item, 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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Divide and congruence: from decomposition of modal formulas to preservation of branching and \(\eta \)-bisimilarity
• Metrics for labelled Markov processes
• Bisimulation through probabilistic testing
• SOS specifications for uniformly continuous operators
• Reactive, generative, and stratified models of probabilistic processes
• Compositionality of Hennessy-Milner logic by structural operational semantics
• Branching bisimulation for probabilistic systems: characteristics and decidability
• Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
• Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation
• Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics
• Probabilistic bisimulation as a congruence
• Compositional Metric Reasoning with Probabilistic Process Calculi
• Compositional bisimulation metric reasoning with Probabilistic Process Calculi
• Characterising Testing Preorders for Finite Probabilistic Processes
• Algebraic laws for nondeterminism and concurrency
• Compositionality Through an Operational Semantics of Contexts
• Bisimulation can't be traced
• Logical characterization of bisimulation for transition relations over probability distributions with internal actions
• Modal Decomposition on Nondeterministic Probabilistic Processes
• Divide and Congruence II
• Characterising Probabilistic Processes Logically
• Divide and congruence III: Stability & divergence
• Precongruence formats for decorated trace semantics
• SOS specifications of probabilistic systems by uniformly continuous operators
• Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules
• Logical Characterizations of Bisimulations for Discrete Probabilistic Systems