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

by R J van Glabbeek
Venue:In Proc. STACS’87, LNCS 247