Characterising Probabilistic Processes Logically

Details Characterising Probabilistic Processes Logically Characterising Probabilistic Processes Logically

2010-07-29

arxiv.org/abs/1007.5188v1

Computer Science

Logic in Computer Science

18 pages

Scientific paper

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 modal mu-calculus and show how to derive characteristic formulae for various simulation-like preorders over finite-state processes without divergence. In addition, we show that even without the fixpoint operators this probabilistic mu-calculus can be used to characterise these behavioural relations in the sense that two states are equivalent if and only if they satisfy the same set of formulae.

Affiliated with

Also associated with

No associations

Rating

Characterising Probabilistic Processes Logically 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 Characterising Probabilistic Processes Logically, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Characterising Probabilistic Processes Logically will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-451209