dc.creator | Ruiz Cortés, David | es |
dc.creator | Corchuelo Gil, Rafael | es |
dc.creator | Toro Bonilla, Miguel | es |
dc.date.accessioned | 2017-10-27T09:57:48Z | |
dc.date.available | 2017-10-27T09:57:48Z | |
dc.date.issued | 2003 | |
dc.identifier.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. | |
dc.identifier.issn | 1532-0634 | es |
dc.identifier.uri | http://hdl.handle.net/11441/65501 | |
dc.description.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 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. | es |
dc.description.sponsorship | Ministerio de Ciencia y Tecnología TIC-2000-1106-C02-01 | es |
dc.description.sponsorship | Ministerio de Ciencia y Tecnología FIT-150100-2001-78 | es |
dc.description.sponsorship | Ministerio de Ciencia y Tecnología TAMANSI PCB-02-001 | es |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | John Wiley and Sons | es |
dc.relation.ispartof | Concurrency and Computation: Practice and Experience, 15 (11-12), 1093-1116. | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | Concurrent programs | es |
dc.subject | Multiparty interactions | es |
dc.subject | Fairness | es |
dc.subject | Fair finiteness | es |
dc.subject | Conspiracies | es |
dc.title | Fairness in systems based on multiparty interactions | es |
dc.type | info:eu-repo/semantics/article | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/submittedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos | es |
dc.relation.projectID | TIC-2000-1106-C02-01 | es |
dc.relation.projectID | FIT-150100-2001-78 | es |
dc.relation.projectID | PCB-02-001 | es |
dc.relation.publisherversion | http://onlinelibrary.wiley.com/doi/10.1002/cpe.782/full | es |
dc.identifier.doi | 10.1002/cpe.782 | es |
dc.contributor.group | Universidad de Sevilla. TIC134: Sistemas Informáticos | es |
idus.format.extent | 24 | es |
dc.journaltitle | Concurrency and Computation: Practice and Experience | es |
dc.publication.volumen | 15 | es |
dc.publication.issue | 11-12 | es |
dc.publication.initialPage | 1093 | es |
dc.publication.endPage | 1116 | es |
dc.identifier.sisius | 6608083 | es |