Allberson B. de Oliveira Dantas, Francisco Heron de Carvalho Junior, Luis S. Barbosa. Certification of Workflows in a Component-Based Cloud of High Performance Computing Services. In José Proença, Markus Lumpe, editors, Formal Aspects of Component Software - 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings. Volume 10487 of Lecture Notes in Computer Science, pages 198-215, Springer, 2017. [doi]
Abstract is missing.