scientific article; zbMATH DE number 7356924
From MaRDI portal
Publication:4992526
zbMath1464.68231arXiv1306.2696MaRDI QIDQ4992526
Rocco De Nicola, Marco Bernardo, Michele Loreti
Publication date: 9 June 2021
Full work available at URL: https://arxiv.org/abs/1306.2696
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (4)
Back to the format: a survey on SOS for probabilistic processes ⋮ Unnamed Item ⋮ The metric linear-time branching-time spectrum on nondeterministic probabilistic processes ⋮ Relating strong behavioral equivalences for processes with nondeterminism and probabilities
This page was built for publication:
