Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems.

Ankush Desai, Sanjit A. Seshia, Shaz Qadeer, David Broman, John C. Eidson

Browse the full CAV paper archive.