Abstract-Valet av en slutlig ledare i ett asynkront system benägna att bearbeta krascher är ett viktigt problem med feltolerant distribuerad dator. Detta problem kallas implementation av feldetektorn. Nästan alla papper som föreslår algoritmer genomföra en sådan slutlig ledare tjänst överväga ett statiskt system. I detta dokument behandlas däremot ett dynamiskt system, dvs. ett system där processer kan komma in i och lämna systemet. Dokumentet innehåller tre bidrag. För det första föreslås en specificering av de dynamiska systemen. Sedan presenterar och bevisar det korrekt en algoritm som genomför denna specifikation. Slutligen diskuteras idén om en eventuell ledare som lämpar sig för dynamiska system. Genom direktivet införs ytterligare en egendom med anknytning till systemets stabilitet. Utformningen av en algoritm som uppfyller denna sista egenskap är fortfarande ett öppet och utmanande problem.
Larrea m.fl. REF övervägde det slutliga ledarvalet i ett asynkront system som var benäget att hantera krascher och de föreslog en specifikation av  och anpassade till dynamiska system.
Specifying and Implementing an Eventual Leader Service for Dynamic Systems
{'venue': '2011 14th International Conference on Network-Based Information Systems', 'journal': '2011 14th International Conference on Network-Based Information Systems', 'mag_field_of_study': ['Computer Science']}