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