Testing Reactive Probabilistic Processes

Details Testing Reactive Probabilistic Processes Testing Reactive Probabilistic Processes

2010-06-26

arxiv.org/abs/1006.5100v1

EPTCS 28, 2010, pp. 99-113

Computer Science

Logic in Computer Science

Scientific paper

10.4204/EPTCS.28.7

We define a testing equivalence in the spirit of De Nicola and Hennessy for reactive probabilistic processes, i.e. for processes where the internal nondeterminism is due to random behaviour. We characterize the testing equivalence in terms of ready-traces. From the characterization it follows that the equivalence is insensitive to the exact moment in time in which an internal probabilistic choice occurs, which is inherent from the original testing equivalence of De Nicola and Hennessy. We also show decidability of the testing equivalence for finite systems for which the complete model may not be known.

Affiliated with

Also associated with

No associations

Rating

Testing Reactive Probabilistic Processes does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Testing Reactive Probabilistic Processes, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Testing Reactive Probabilistic Processes will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-525574