Reference:
Kaj Johansson. Modelling message protocols for the byzantine generals problem. Research Report A8, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, November 1988.
Suggested BibTeX entry:
@techreport{HUT-TCS-A8,
address = {Espoo, Finland},
author = {Kaj Johansson},
institution = {Helsinki University of Technology, Digital Systems Laboratory},
month = {November},
number = {A8},
pages = {65},
title = {Modelling Message Protocols for the Byzantine Generals Problem},
type = {Research Report},
year = {1988},
}
|