9 search results - page 1 / 2 » Characterising Testing Preorders for Finite Probabilistic Pr... |
LICS
2007
IEEE
14 years 1 days ago
2007
IEEE
CORR
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. In this paper we work on (bi)simulation semantics of processes that exhibit both nondeterministic and probabilistic behaviour. We propose a probabilistic extension of the...
IJFCS
2006
13 years 5 months ago
2006
This paper studies conflicts from a process-algebraic point of view and shows how they are related to the testing theory of fair testing. Conflicts have been introduced in the con...
FOSSACS
2010
Springer
14 years 18 days ago
2010
Springer
Abstract. This paper considers the probabilistic may/must testing theory for processes having external, internal, and probabilistic choices. We observe that the underlying testing ...
ENTCS
1998
13 years 5 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...