Browsing by Subject "nondeterminism"
Now showing items 1-1 of 1
-
Remarks on Testing Probabilistic Processes
(IEEE, 2007)We develop a general testing scenario for probabilistic processes, giving rise to two theories: probabilistic may testing and probabilistic must testing. These are applied to a simple probabilistic version of the ...