2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.PL2025
Fair Termination for Resource-Aware Active Objects
Francesco Dagnino, Paola Giannini, Violet Ka I Pun +1
Active object systems are a model of distributed computation that has been adopted for modelling distributed systems and business process workflows. This field of modelling is, in…
cs.SE2025★ 2 cited
EasyRpl: A web-based tool for modelling and analysis of cross-organisational workflows
Muhammad Rizwan Ali, Violet Ka I Pun, Guillermo Román-Díez
Cross-organisational workflows involve multiple concurrent, collaborative workflows across different departments or organisations, necessitating effective coordination due to their…