Semi-Formal Development of a Fault-Tolerant Leader Election Protocol in Erlang
Artikel i vetenskaplig tidskrift, 2005
abstraction
model checking
testing
Författare
Koen Lindström Claessen
Formella metoder
Funktionell programmering
Hans Svensson
Formella metoder
Thomas Arts
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 3395 140-154Ämneskategorier
Data- och informationsvetenskap
DOI
10.1007/978-3-540-31848-4_10