Jan J. M. M. Rutten
-
Full Abstractness of a Metric Semantics for Action Refinement
Fundamenta Informaticae
Bisimulation Semantics For Concurrency With Atomicity And Action Refinement