Failure-based equivalences are faster than many believe (1995)

by A Valmari
Venue:Structures in Concurrency Theory, Workshops in Computing