"Enforcing Availability in Failure-Aware Communicating Systems."

Hugo A. López, Flemming Nielson, Hanne Riis Nielson (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics