Asynchronous Subtyping by Trace Relaxation.

Laura Bocchi, Andy King, Maurizio Murgia

Browse the full TACAS paper archive.