A Logic for Application Level QoS

Dan Hirsch, Alberto Lluch-Lafuente, Emilio Tuosto. A Logic for Application Level QoS. Electronic Notes in Theoretical Computer Science, 153(2):135-159, 2006. [doi]

Abstract

Abstract is missing.