scientific article; zbMATH DE number 7356839

zbMath1464.68245arXiv1307.7442MaRDI QIDQ4992498

Daniel Gebler, Simone Tini

Publication date: 9 June 2021

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

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

Mathematics Subject Classification ID

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 ⋮ A general SOS theory for the specification of probabilistic transition systems ⋮ 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 ⋮ Unwinding biological systems

This page was built for publication: