Muhammad Ali and Violet Pun. 2021.
 Cost Analysis for an Actor-Based Workflow Modelling Language. In <em>Proceedings of the 24th Brazilian Symposium on Formal Methods</em>, December 07, 2021, Campina Grande, Brasil. SBC, Porto Alegre, Brasil, 104-121.