Modal decomposition on nondeterministic probabilistic processes

DOI10.4230/LIPICS.CONCUR.2016.36MaRDI QIDQ4608689zbMATH OpenOpenAlexFDO

Authors Valentina Castiglioni, Daniel Gebler, Simone Tini

Publication date 21 March 2018

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

zbMATH Keywords

decomposition of modal formulaelogical characterizationnondeterministic probabilistic process algebrasstructural operational semantics

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)

Recommendations

• SOS-based modal decomposition on nondeterministic probabilistic processes
• Probabilistic divide \& congruence: branching bisimilarity
• 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
• Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics

Cited in

(13)

• SOS specifications for uniformly continuous operators
• Divide and congruence. II: From decomposition of modal formulas to preservation of delay and weak bisimilarity
• 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
• Compositional bisimulation metric reasoning with Probabilistic Process Calculi
• Trace and testing metrics on nondeterministic probabilistic processes
• SOS-based 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 trace metrics
• Logical characterization of bisimulation metrics

This page was built for publication: 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 Q4608689)