Talk:Stuttering equivalence

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)