Jackson Hides (2024) “A FORMAL SEMANTICS FRAMEWORK FOR TAVERNA 2 WORKFLOWS”, Academic Reseach Library for International Journal of Computer Science & Information System, 9(09), pp. 8–14. Available at: https://colomboscipub.com/index.php/arlijcsis/article/view/28 (Accessed: 1 December 2025).