Einar Broch Johnsen, Ka-I Pun, Silvia Lizeth Tapia Tarifa. A formal model of cloud-deployed software and its application to workflow processing. In Dinko Begusic, Nikola Rozic, Josko Radic, Matko Saric, editors, 25th International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2017, Split, Croatia, September 21-23, 2017. pages 1-6, IEEE, 2017. [doi]
Abstract is missing.