Jackson Hides. 2024. “A FORMAL SEMANTICS FRAMEWORK FOR TAVERNA 2 WORKFLOWS”. International Journal of Computer Science & Information System 9 (09):8-14. https://scientiamreearch.org/index.php/ijcsis/article/view/128.