Algebraic Specifications of Computing as a Service with Applications to Cost Analysis.

Kenneth Johnson, John V. Tucker

Browse the full UCC paper archive.