JACKSON HIDES. A FORMAL SEMANTICS FRAMEWORK FOR TAVERNA 2 WORKFLOWS. Academic Reseach Library for International Journal of Computer Science & Information System, [S. l.], v. 9, n. 09, p. 8–14, 2024. Disponível em: https://colomboscipub.com/index.php/arlijcsis/article/view/28. Acesso em: 16 jan. 2026.