A formal model of cloud-deployed software and its application to workflow processing.

Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa

Browse the full SOFTCOM paper archive.