Trace and Testing Metrics on Nondeterministic Probabilistic Processes
2018 ◽
Vol 276
◽
pp. 19-36
◽
Marco Bernardo
◽
Rocco De Nicola
◽
Michele Loreti
Kim G. Larsen
◽
Arne Skou
J. C. M. Baeten
◽
J. A. Bergstra
◽
S. A. Smolka
Roberto Segala
◽
Nancy Lynch
Bard Bloom
◽
Albert R. Meyer
Lin Song
◽
Yuxin Deng
◽
Xiaojuan Cai