Testing equivalences and fully abstract models for probabilistic processes

2006 ◽  
pp. 126-138 ◽  
Author(s):  
Ivan Christoff
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