Trace and testing metrics on nondeterministic probabilistic processes
V Castiglioni - arXiv preprint arXiv:1808.08649, 2018 - arxiv.org
The combination of nondeterminism and probability in concurrent systems lead to the
development of several interpretations of process behavior. If we restrict our attention to …
development of several interpretations of process behavior. If we restrict our attention to …