Bounded Nondeterminism and the Approximation Induction Principle in Process Algebra.

Rob J. van Glabbeek

Browse the full STACS paper archive.