DocumentCode
1964043
Title
Net-theoretical methods in modelling byzantine consensus protocol in agreement problems
Author
Halkola, Tapio ; Johansson, Kaj ; Ojala, Leo
Author_Institution
Finnish Defence Forces, Helsinki, Finland
fYear
1989
fDate
14-16 Aug 1989
Firstpage
414
Abstract
The use of predicate/transition nets is introduced to model and analyze the solutions of the consensus problem in fault-tolerant distributed systems. It is shown that by making a proper choice of the abstraction level complicated communication and computation structures can be successfully modeled and analyzed using net-theoretical methods. The net models demonstrate the concurrency in solution protocols without any resource bounds. System properties like liveness are studied
Keywords
fault tolerant computing; multiprocessing systems; protocols; abstraction level; agreement problems; byzantine consensus protocol; concurrency; fault-tolerant distributed systems; modelling; net-theoretical methods; predicate/transition nets; Digital systems; Fault tolerance; Fault tolerant systems; Laboratories; Protocols; Technology planning;
fLanguage
English
Publisher
ieee
Conference_Titel
Circuits and Systems, 1989., Proceedings of the 32nd Midwest Symposium on
Conference_Location
Champaign, IL
Type
conf
DOI
10.1109/MWSCAS.1989.101879
Filename
101879
Link To Document