ALI, Muhammad Rizwan; PUN, Violet Ka I.
Cost Analysis for an Actor-Based Workflow Modelling Language. In: SIMPÓSIO BRASILEIRO DE MÉTODOS FORMAIS (SBMF), 24. , 2021, Campina Grande.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2021
.
p. 104-121.