Aspects of availability: Enforcing timed properties to prevent denial of service

Pascal Fradet, Stéphane Hong Tuan Ha. Aspects of availability: Enforcing timed properties to prevent denial of service. Science of Computer Programming, 75(7):516-542, 2010. [doi]

Abstract

Abstract is missing.