Fair Termination for Resource-Aware Active Objects.
Francesco Dagnino, Paola Giannini, Violet Ka I Pun, Ulises Torrella
Browse the full APLAS paper archive.
Francesco Dagnino, Paola Giannini, Violet Ka I Pun, Ulises Torrella
Browse the full APLAS paper archive.