Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement.

Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim

Browse the full CONCUR paper archive.