Modelling Message Protocols for the Byzantine Generals Problem

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},
}