Jackson Hides (2024) “A FORMAL SEMANTICS FRAMEWORK FOR TAVERNA 2 WORKFLOWS”, International Journal of Computer Science & Information System, 9(09), pp. 8–14. Available at: https://scientiamreearch.org/index.php/ijcsis/article/view/128 (Accessed: 12 October 2025).