481 search results - page 97 / 97 » Model Checking Abstract State Machines and Beyond |
95
Voted
ATVA
2006
Springer
14 years 11 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...