Jackson Hides. A FORMAL SEMANTICS FRAMEWORK FOR TAVERNA 2 WORKFLOWS. ijcsis [Internet]. 2024 Sep. 2 [cited 2025 Oct. 12];9(09):8-14. Available from: https://scientiamreearch.org/index.php/ijcsis/article/view/128