Modal Decomposition on Nondeterministic Probabilistic Processes

DOI10.4230/LIPIcs.CONCUR.2016.36zbMath1392.68288OpenAlexW2550627746MaRDI QIDQ4608689

Simone Tini, Valentina Castiglioni, Daniel Gebler

Publication date: 21 March 2018

Full work available at URL: https://dblp.uni-trier.de/db/conf/concur/concur2016.html#CastiglioniGT16

zbMATH Keywords

structural operational semanticslogical 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 (9)

SOS specifications for uniformly continuous operators ⋮ Divide and congruence. II: From decomposition of modal formulas to preservation of delay and weak bisimilarity ⋮ Back to the format: a survey on SOS for probabilistic processes ⋮ Compositional bisimulation metric reasoning with Probabilistic Process Calculi ⋮ 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 ⋮ Unnamed Item

This page was built for publication: Modal Decomposition on Nondeterministic Probabilistic Processes