A Simple Characterization of Stuttering Bisimulation (1997)

by K Namjoshi
Venue:Proceedings of the 17th International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 1997), volume 1346 of LNCS