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: http://scientiamreearch.org/index.php/ijcsis/article/view/128 (Accessed: 21 April 2026).