Jackson Hides 2024. A FORMAL SEMANTICS FRAMEWORK FOR TAVERNA 2 WORKFLOWS. International Journal of Computer Science & Information System. 9, 09 (Sep. 2024), 8–14.