Semi-formal development of a fault-tolerant leader election protocol in Erlang (2005)

Cached

Download Links

by Thomas Arts , Koen Claessen , Hans Svensson
Venue:In Lecture Notes in Computer Science
Citations:10 - 8 self