Article
Fairness in systems based on multiparty interactions
Author/s | Ruiz Cortés, David
Corchuelo Gil, Rafael Toro Bonilla, Miguel |
Department | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos |
Publication Date | 2003 |
Deposit Date | 2017-10-27 |
Published in |
|
Abstract | In the context of the Multiparty Interaction Model, fairness is used to insure that an interaction that is
enabled sufficiently often in a concurrent program will eventually be selected for execution. Unfortunately,
this ... In the context of the Multiparty Interaction Model, fairness is used to insure that an interaction that is enabled sufficiently often in a concurrent program will eventually be selected for execution. Unfortunately, this notion does not take conspiracies into account, i.e. situations in which an interaction never becomes enabled because of an unfortunate interleaving of independent actions; furthermore, eventual execution is usually too weak for practical purposes since this concept can only be used in the context of infinite executions. In this article, we present a new fairness notion, k-conspiracy-free fairness, that improves on others because it takes finite executions into account, alleviates conspiracies that are not inherent to a program, and k may be set a priori to control its goodness to address the above-mentioned problems. |
Project ID. | TIC-2000-1106-C02-01
FIT-150100-2001-78 PCB-02-001 |
Citation | Ruiz Cortés, D., Corchuelo Gil, R. y Toro Bonilla, M. (2003). Fairness in systems based on multiparty interactions. Concurrency and Computation: Practice and Experience, 15 (11-12), 1093-1116. |
Files | Size | Format | View | Description |
---|---|---|---|---|
Fairness in systems.pdf | 627.6Kb | [PDF] | View/ | |