Dongmei Liu, Hong Zhu, Ian Bayley. A Case Study on Algebraic Specification of Cloud Computing. In 21st Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2013, Belfast, United Kingdom, February 27 - March 1, 2013. pages 269-273, IEEE Computer Society, 2013. [doi]
Abstract is missing.