Formalization and Verification of Declarative Cloud Orchestration.

Hiroyuki Yoshida, Kazuhiro Ogata, Kokichi Futatsugi

Browse the full ICFEM paper archive.