Automated Refinement Checking for Asynchronous Processes.

Rajeev Alur, Radu Grosu, Bow-Yaw Wang

Browse the full FMCAD paper archive.