Fully abstract characterizations of testing preorders for probabilistic processes

2005 ◽  
pp. 497-512 ◽  
Author(s):  
Shoji Yuen ◽  
Rance Cleaveland ◽  
Zeynep Dayar ◽  
Scott A. Smolka
Keyword(s):  
Probabilistic Processes

scholarly journals Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes

2014 ◽  
Vol 10 (1) ◽  
Author(s):  
Marco Bernardo ◽  
Rocco De Nicola ◽  
Michele Loreti
Keyword(s):  
Probabilistic Processes

scholarly journals Axiomatizing probabilistic processes: ACP with generative probabilities

1992 ◽  
pp. 472-485 ◽  
Author(s):  
J. C. M. Baeten ◽  
J. A. Bergstra ◽  
S. A. Smolka
Keyword(s):  
Probabilistic Processes
Sign in / Sign up

Export Citation Format

Share Document