Lalita Jategaonkar;Albert R. Meyer
-;-
Full Abstractness of a Metric Semantics for Action Refinement
Fundamenta Informaticae