Testing Reactive Probabilistic Processes

Sonja Georgievska, Suzana Andova

We define a testing equivalence in the spirit of De Nicola and Hennessy for reactive probabilistic processes, i.e. for processes where the internal nondeterminism is due to random…