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