A Formal Design Model for Cloud Services.

Meng Sun, Guirong Fu

Browse the full SEKE paper archive.