A Case Study on Algebraic Specification of Cloud Computing.

Dongmei Liu, Hong Zhu, Ian Bayley

Browse the full PDP paper archive.