scientific article; zbMATH DE number 7362460

zbMath1464.68246arXiv1408.1457MaRDI QIDQ4995155

Simone Tini, Daniel Gebler

Publication date: 23 June 2021

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

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

zbMATH Keywords

continuitycompositionalityprobabilistic transition systemsSOSbisimulation metric

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)

Related Items (8)

A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces ⋮ SOS specifications for uniformly continuous operators ⋮ Back to the format: a survey on SOS for probabilistic processes ⋮ The metric linear-time branching-time spectrum on nondeterministic probabilistic processes ⋮ Probabilistic divide \& congruence: branching bisimilarity ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Compositional weak metrics for group key update

This page was built for publication: