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
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;
Conference_Titel :
Circuits and Systems, 1989., Proceedings of the 32nd Midwest Symposium on
Conference_Location :
Champaign, IL
DOI :
10.1109/MWSCAS.1989.101879
