Jackson Hides. “A FORMAL SEMANTICS FRAMEWORK FOR TAVERNA 2 WORKFLOWS”. International Journal of Computer Science & Information System 9, no. 09 (September 2, 2024): 8–14. Accessed April 21, 2026. http://scientiamreearch.org/index.php/ijcsis/article/view/128.