Bounded nondeterminism and the aproximation induction principle in process algebra (1987)

by R J van Glabbeek
Venue:Proceedings of STACS'87, volume 247 of Lecture Notes in Computer Science