QoS contract preservation through dynamic reconfiguration: A formal semantics approach

Gabriel Tamura, Rubby Casallas, Anthony Cleve, Laurence Duchien. QoS contract preservation through dynamic reconfiguration: A formal semantics approach. Science of Computer Programming, 94:307-332, 2014. [doi]

Abstract

Abstract is missing.