Bisimulation and Action Refinement (1993)

by W Vogler
Venue:Theor. Comput. Sci