dc.creator | Ruiz Cortés, David | es |
dc.creator | Corchuelo Gil, Rafael | es |
dc.creator | Arjona Fernández, José Luis | es |
dc.date.accessioned | 2017-11-23T12:40:29Z | |
dc.date.available | 2017-11-23T12:40:29Z | |
dc.date.issued | 2007 | |
dc.identifier.citation | Ruiz Cortés, D., Corchuelo Gil, R. y Arjona Fernández, J.L. (2007). Generating non-conspiratorial executions. Information Processing Letters, 103 (4), 157-162. | |
dc.identifier.issn | 0020-0190 | es |
dc.identifier.uri | http://hdl.handle.net/11441/66563 | |
dc.description.abstract | Avoiding conspiratorial executions is useful for debugging, model checking or refinement, and helps implement several wellknown
problems in faulty environments; furthermore, avoiding non-equivalence robust executions prevents conflicting
observations in a distributed setting from occurring. Our results prove that scheduling pairs of states and transitions in a strongly
fair manner suf-fices to prevent conspiratorial executions; we then establish a formal connection between conspiracies and
equivalence robustness; finally, we present a transformation scheme to implement our results and show how to build them into a
well-known distributed scheduler. Previous results were applicable to a subset of systems only, just attempted to characterise
potential conspiracies, or were tightly bound up with a particular interaction model. | es |
dc.description.sponsorship | Comisión Interministerial de Ciencia y Tecnología TIC2003-02737-C02 | es |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | Elsevier | es |
dc.relation.ispartof | Information Processing Letters, 103 (4), 157-162. | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | Distributed systems | es |
dc.subject | Concurrency | es |
dc.subject | Conspiracies | es |
dc.subject | Equivalence robustness | es |
dc.subject | Fairness | es |
dc.title | Generating non-conspiratorial executions | 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 | TIC2003-02737-C02-01 | es |
dc.relation.publisherversion | http://www.sciencedirect.com/science/article/pii/S0020019007000658 | es |
dc.identifier.doi | 10.1016/j.ipl.2007.03.008 | es |
dc.contributor.group | Universidad de Sevilla. TIC134: Sistemas Informáticos | es |
idus.format.extent | 6 | es |
dc.journaltitle | Information Processing Letters | es |
dc.publication.volumen | 103 | es |
dc.publication.issue | 4 | es |
dc.publication.initialPage | 157 | es |
dc.publication.endPage | 162 | es |
dc.identifier.sisius | 6702127 | es |
dc.contributor.funder | Comisión Interministerial de Ciencia y Tecnología (CICYT). España | |