Fair Termination for Resource-Aware Active Objects

Francesco Dagnino; Paola Giannini; Violet Ka I. Pun; Ulises Torrella

doi:10.1007/978-981-95-3585-9_2

Fair Termination for Resource-Aware Active Objects

Francesco Dagnino
, Paola Giannini
, Violet Ka I. Pun
, Ulises Torrella

Department of Sustainable Development and Ecological Transition

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

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 essence, concurrent and resource-aware, motivating the development of resource-aware formalisations on the active object model. The contributions of this work are the development of a core calculus for resource-aware active objects together with a type system ensuring that well-typed programs are fairly terminating, i.e., they can always eventually terminate. To achieve this, we combine techniques from graded semantics and type systems, which are quite well understood for sequential programs, with those for fair termination, which have been developed for synchronous sessions.

Original language	English
Title of host publication	Programming Languages and Systems - 23rd Asian Symposium, APLAS 2025, Proceedings
Editors	Alex Potanin
Publisher	Springer Science and Business Media Deutschland GmbH
Pages	22-43
Number of pages	22
ISBN (Print)	9789819535842
DOIs	https://doi.org/10.1007/978-981-95-3585-9_2
Publication status	Published - 2026
Event	23rd Asian Symposium on Programming Languages and Systems, APLAS 2025 - Bengaluru, India Duration: 27 Jun 2025 → 30 Jun 2025

Publication series

Name	Lecture Notes in Computer Science
Volume	16201 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	23rd Asian Symposium on Programming Languages and Systems, APLAS 2025
Country/Territory	India
City	Bengaluru
Period	27/06/25 → 30/06/25

Keywords

active-objects
fair termination
graded types
resource-aware
workflows

Access to Document

10.1007/978-981-95-3585-9_2

Cite this

Dagnino, F., Giannini, P., Pun, V. K. I., & Torrella, U. (2026). Fair Termination for Resource-Aware Active Objects. In A. Potanin (Ed.), Programming Languages and Systems - 23rd Asian Symposium, APLAS 2025, Proceedings (pp. 22-43). (Lecture Notes in Computer Science; Vol. 16201 LNCS). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-981-95-3585-9_2

@inproceedings{241970d9e59147b7bde23251c35ac735,

title = "Fair Termination for Resource-Aware Active Objects",

abstract = " 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 essence, concurrent and resource-aware, motivating the development of resource-aware formalisations on the active object model. The contributions of this work are the development of a core calculus for resource-aware active objects together with a type system ensuring that well-typed programs are fairly terminating, i.e., they can always eventually terminate. To achieve this, we combine techniques from graded semantics and type systems, which are quite well understood for sequential programs, with those for fair termination, which have been developed for synchronous sessions.",

keywords = "active-objects, fair termination, graded types, resource-aware, workflows",

author = "Francesco Dagnino and Paola Giannini and Pun, \{Violet Ka I.\} and Ulises Torrella",

note = "Publisher Copyright: {\textcopyright} The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2026.; 23rd Asian Symposium on Programming Languages and Systems, APLAS 2025 ; Conference date: 27-06-2025 Through 30-06-2025",

year = "2026",

doi = "10.1007/978-981-95-3585-9\_2",

language = "English",

isbn = "9789819535842",

series = "Lecture Notes in Computer Science",

publisher = "Springer Science and Business Media Deutschland GmbH",

pages = "22--43",

editor = "Alex Potanin",

booktitle = "Programming Languages and Systems - 23rd Asian Symposium, APLAS 2025, Proceedings",

address = "Germany",

}

Dagnino, F, Giannini, P, Pun, VKI & Torrella, U 2026, Fair Termination for Resource-Aware Active Objects. in A Potanin (ed.), Programming Languages and Systems - 23rd Asian Symposium, APLAS 2025, Proceedings. Lecture Notes in Computer Science, vol. 16201 LNCS, Springer Science and Business Media Deutschland GmbH, pp. 22-43, 23rd Asian Symposium on Programming Languages and Systems, APLAS 2025, Bengaluru, India, 27/06/25. https://doi.org/10.1007/978-981-95-3585-9_2

Fair Termination for Resource-Aware Active Objects. / Dagnino, Francesco; Giannini, Paola; Pun, Violet Ka I. et al.
Programming Languages and Systems - 23rd Asian Symposium, APLAS 2025, Proceedings. ed. / Alex Potanin. Springer Science and Business Media Deutschland GmbH, 2026. p. 22-43 (Lecture Notes in Computer Science; Vol. 16201 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Fair Termination for Resource-Aware Active Objects

AU - Dagnino, Francesco

AU - Giannini, Paola

AU - Pun, Violet Ka I.

AU - Torrella, Ulises

N1 - Publisher Copyright: © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2026.

PY - 2026

Y1 - 2026

N2 - 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 essence, concurrent and resource-aware, motivating the development of resource-aware formalisations on the active object model. The contributions of this work are the development of a core calculus for resource-aware active objects together with a type system ensuring that well-typed programs are fairly terminating, i.e., they can always eventually terminate. To achieve this, we combine techniques from graded semantics and type systems, which are quite well understood for sequential programs, with those for fair termination, which have been developed for synchronous sessions.

AB - 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 essence, concurrent and resource-aware, motivating the development of resource-aware formalisations on the active object model. The contributions of this work are the development of a core calculus for resource-aware active objects together with a type system ensuring that well-typed programs are fairly terminating, i.e., they can always eventually terminate. To achieve this, we combine techniques from graded semantics and type systems, which are quite well understood for sequential programs, with those for fair termination, which have been developed for synchronous sessions.

KW - active-objects

KW - fair termination

KW - graded types

KW - resource-aware

KW - workflows

UR - https://www.scopus.com/pages/publications/105021918332

U2 - 10.1007/978-981-95-3585-9_2

DO - 10.1007/978-981-95-3585-9_2

M3 - Conference contribution

AN - SCOPUS:105021918332

SN - 9789819535842

T3 - Lecture Notes in Computer Science

SP - 22

EP - 43

BT - Programming Languages and Systems - 23rd Asian Symposium, APLAS 2025, Proceedings

A2 - Potanin, Alex

PB - Springer Science and Business Media Deutschland GmbH

T2 - 23rd Asian Symposium on Programming Languages and Systems, APLAS 2025

Y2 - 27 June 2025 through 30 June 2025

ER -