A Formal Semantics for a Quality of Service Contract Language

Christiano Braga, Fabricio Chalub, Alexandre Sztajnberg. A Formal Semantics for a Quality of Service Contract Language. Electronic Notes in Theoretical Computer Science, 203(7):103-120, 2009. [doi]

Abstract

Abstract is missing.