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: http://colomboscipub.com/index.php/arlijcsis/article/view/28 (Accessed: 30 April 2026).