Repositorio de producción científica de la Universidad de Sevilla

An Algorithm for Ensuring Fairness and Liveness in Non-deterministic Systems Based on Multiparty Interactions

 

Advanced Search
 
Opened Access An Algorithm for Ensuring Fairness and Liveness in Non-deterministic Systems Based on Multiparty Interactions
Cites

Show item statistics
Icon
Export to
Author: Ruiz Cortés, David
Corchuelo Gil, Rafael
Pérez Castellanos, José Antonio
Toro Bonilla, Miguel
Department: Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos
Date: 2002
Published in: Euro-Par 2002: 8th International Euro-Par Parallel Processing Conference (2002), p 563-572
ISBN/ISSN: 978-3-540-44049-9
0302-9743
Document type: Presentation
Abstract: Strong fairness is a notion we can use to ensure that an element that is enabled infinitely often in a non–deterministic programme, will eventually be selected for execution so that it can progress. Unfortunately, “eventually” is too weak to indu...
[See more]
Cite: Ruiz Cortés, D., Corchuelo Gil, R., Pérez Castellanos, J.A. y Toro Bonilla, M. (2002). An Algorithm for Ensuring Fairness and Liveness in Non-deterministic Systems Based on Multiparty Interactions. En Euro-Par 2002: 8th International Euro-Par Parallel Processing Conference (563-572), Paderborn, Germany: Springer.
Size: 249.3Kb
Format: PDF

URI: http://hdl.handle.net/11441/65168

DOI: 10.1007/3-540-45706-2_77

See editor´s version

This work is under a Creative Commons License: 
Attribution-NonCommercial-NoDerivatives 4.0 Internacional

This item appears in the following Collection(s)