Jackson Hides. (2024). A FORMAL SEMANTICS FRAMEWORK FOR TAVERNA 2 WORKFLOWS. Academic Reseach Library for International Journal of Computer Science & Information System, 9(09), 8–14. Retrieved from https://colomboscipub.com/index.php/arlijcsis/article/view/28