Modelling Orel Message Solution Protocols for Agreement Problems in Fault-Tolerant Distributed Systems using Predicate/Transition Nets

Reference:

Tapio Halkola, Kaj Johansson, and Leo Ojala. Modelling orel message solution protocols for agreement problems in fault-tolerant distributed systems using predicate/transition nets. Research Report A1, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, August 1987.

Suggested BibTeX entry:

@techreport{HUT-TCS-A1,
    address = {Espoo, Finland},
    author = {Tapio Halkola and Kaj Johansson and Leo Ojala},
    institution = {Helsinki University of Technology, Digital Systems Laboratory},
    month = {August},
    number = {A1},
    pages = {17},
    title = {Modelling Orel Message Solution Protocols for Agreement Problems in Fault-Tolerant Distributed Systems using Predicate/Transition Nets},
    type = {Research Report},
    year = {1987},
}