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…