 | This article has not yet been rated on Wikipedia's content assessment scale. |
 | This article may be too technical for most readers to understand. (September 2010) |
Actually, the description of stuttering equivalence as it is given here describes the notion of stuttering trace equivalence; this notion does not preserve branching points, and preserves LTL without next state operator only. Stuttering equivalence (or stuttering bisimulation as it sometimes refers to) is a notion in which branching behaviour is preserved, and which preserves CTL* without next state operator.
Also, the link between stuttering equivalence and branching bisimulation could be mentioned. I'll come back and improve the article if time permits. Jkeiren (talk) 14:53, 4 October 2013 (UTC)