Joost N. Kok;Jan J. M. M. Rutten
-;-
Full Abstractness of a Metric Semantics for Action Refinement
Fundamenta Informaticae