Bisimulation and action refinement (1993)

by W Vogler
Venue:Theoretical Computer Science