Luca Aceto;Matthew Hennessy
-;-
Compositional refinement of interactive systems
Journal of the ACM (JACM)