481 search results - page 97 / 97 » Model Checking Abstract State Machines and Beyond |
137
click to vote
ATVA
2006
Springer
15 years 5 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...