Muhammad Ali and Violet Pun. 2021. Cost Analysis for an Actor-Based Workflow Modelling Language. In Anais do XXIV Simpósio Brasileiro de Métodos Formais, dezembro 07, 2021, Campina Grande, Brasil. SBC, Porto Alegre, Brasil, 104-121.