Marco Bernardo, Rocco De Nicola, Michele Loreti
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes
QAPL, 2013.
@inproceedings{QAPL-2013-BernardoNL,
author = "Marco Bernardo and Rocco De Nicola and Michele Loreti",
booktitle = "{Proceedings of the 11th International Workshop on Quantitative Aspects of Programming Languages and Systems}",
doi = "10.4204/EPTCS.117.6",
pages = "81--96",
series = "{EPTCS}",
title = "{The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes}",
volume = 117,
year = 2013,
}