Jackson Hides. A FORMAL SEMANTICS FRAMEWORK FOR TAVERNA 2 WORKFLOWS. arlijcsis [Internet]. 2024 Sep. 2 [cited 2026 Apr. 30];9(09):8-14. Available from: http://colomboscipub.com/index.php/arlijcsis/article/view/28