Fixed-point characterization of compositionality properties of probabilistic processes combinators

MaRDI QIDQ4995155zbMATH OpenFDO

Authors Daniel Gebler, Simone Tini

Publication date 23 June 2021

Full work available at URL https://arxiv.org/abs/1408.1457, http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS2014.7

zbMATH Keywords

bisimulation metriccompositionalitycontinuityprobabilistic transition systemsSOS

Mathematics Subject Classification ID

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

• Compositional bisimulation metric reasoning with Probabilistic Process Calculi
• Compositional metric reasoning with probabilistic process calculi
• Compositionality of approximate bisimulation for probabilistic systems
• SOS specifications for uniformly continuous operators
• Metrics for labelled Markov processes

Cited in

(14)

• SOS specifications for uniformly continuous operators
• The metric linear-time branching-time spectrum on nondeterministic probabilistic processes
• Probabilistic divide \& congruence: branching bisimilarity
• Compositional metric reasoning with probabilistic process calculi
• Equational reasonings in wireless network gossip protocols
• SOS-based modal decomposition on nondeterministic probabilistic processes
• Compositionality of approximate bisimulation for probabilistic systems
• Compositional weak metrics for group key update
• Sós specifications of probabilistic systems by uniformly continuous operators
• Back to the format: a survey on SOS for probabilistic processes
• Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics
• The way we were: structural operational semantics research in perspective
• Logical characterization of bisimulation metrics
• A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces

This page was built for publication: Fixed-point characterization of compositionality properties of probabilistic processes combinators

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4995155)