Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes

DOI10.1007/978-3-642-28729-9_13zbMath1326.68197arXiv1402.5365MaRDI QIDQ2892771

Marco Bernardo, Rocco De Nicola, Michele Loreti

Publication date: 22 June 2012

Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)

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

Mathematics Subject Classification ID

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)

Related Items

A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences