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
structural operational semanticslogical characterizationdecomposition of modal formulaenondeterministic probabilistic process algebras
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)
This page was built for publication: Modal Decomposition on Nondeterministic Probabilistic Processes