The notion of a timed register and its application to indulgent synchronization

Keyphrases

• Atomic Register 33%
• Concurrent Objects 33%
• Consensus Problem 33%
• Contention Manager 33%
• Indulgent Algorithms 33%
• Liveness Properties 33%
• Mutual Exclusion 33%
• Process Crash 33%
• Read Operation 100%
• Safety Properties 33%
• Scheduler 33%
• Sequential Specification 33%
• Shared Objects 66%
• Timing Failures 33%
• Universal Object 33%
• Write Operation 66%

Computer Science

• Atomic Register 33%
• Liveness Property 33%
• Mutual Exclusion 33%
• Read Operation 100%
• Renaming 33%
• Sequential Specification 33%
• Write Operation 66%