146 search results - page 1 / 30 » Testing Finitary Probabilistic Processes |
CONCUR
2009
Springer
13 years 11 months ago
2009
Springer
ESOP
2007
Springer
13 years 8 months ago
2007
Springer
Abstract. The question of equivalence has long vexed research in concurrency, leading to many different denotational- and bisimulation-based approaches; a breakthrough occurred wit...
ENTCS
2007
13 years 4 months ago
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 si...
ENTCS
1998
13 years 4 months ago
1998
We consider a generalisation of Larsen and Skou’s [19] reactive probabilistic transition systems which exhibit three kinds of choice: action-guarded probabilistic choice, extern...
LICS
2007
IEEE
13 years 11 months ago
2007
IEEE
