Enforcing Availability in Failure-Aware Communicating Systems.

Hugo A. Lpez, Flemming Nielson, Hanne Riis Nielson

Browse the full FORTE paper archive.