Ali, Muhammad, and Violet Ka I Pun.
" Cost Analysis for an Actor-Based Workflow Modelling Language." <em>Proceedings of the 24th Brazilian Symposium on Formal Methods,
Campina Grande, 2021</em>. SBC, 2021,  
pp.104-121.