6 search results - page 2 / 2 » How Explicit Are the Barriers to Failure in Safety Arguments |
ATVA
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. In this paper, we give an algorithm for fault-tolerant proactive leader election in asynchronous shared memory systems, and later its formal verification. Roughly speakin...