Kenneth Chan. Formal proofs for QoS-oriented Transformations. In Tenth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), 16-20 October 2006, Hong Kong, China, Workshops. pages 41, IEEE Computer Society, 2006. [doi]
Abstract is missing.