Computing Stuttering Simulations

Details Computing Stuttering Simulations Computing Stuttering Simulations

2009-04-09

arxiv.org/abs/0904.1488v1

Computer Science

Logic in Computer Science

Scientific paper

Stuttering bisimulation is a well-known behavioral equivalence that preserves CTL-X, namely CTL without the next-time operator X. Correspondingly, the stuttering simulation preorder induces a coarser behavioral equivalence that preserves the existential fragment ECTL-{X,G}, namely ECTL without the next-time X and globally G operators. While stuttering bisimulation equivalence can be computed by the well-known Groote and Vaandrager's [1990] algorithm, to the best of our knowledge, no algorithm for computing the stuttering simulation preorder and equivalence is available. This paper presents such an algorithm for finite state systems.

Affiliated with

Also associated with

No associations

Rating

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

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-408477