Cost Analysis for an Actor-Based Workflow Modelling Language

Muhammad Rizwan Ali, Violet Ka I Pun. Cost Analysis for an Actor-Based Workflow Modelling Language. In Sérgio Campos, Marius Minea, editors, Formal Methods: Foundations and Applications - 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings. Volume 13130 of Lecture Notes in Computer Science, pages 104-121, Springer, 2021. [doi]

Abstract

Abstract is missing.