LibBFT: A High-Performace Timed Automata Library Collection for Byzantine Fault Tolerance

Rodolfo Pereira Araujo, Igor Machado Coelho, Luiz Satoru Ochi, Vitor Nazário Coelho. LibBFT: A High-Performace Timed Automata Library Collection for Byzantine Fault Tolerance. In 31st International Symposium on Computer Architecture and High Performance Computing, SBAC-PAD 2019, Campo Grande, Brazil, October 15-18, 2019. pages 234-240, IEEE, 2019. [doi]

Authors

Rodolfo Pereira Araujo

This author has not been identified. Look up 'Rodolfo Pereira Araujo' in Google

Igor Machado Coelho

This author has not been identified. Look up 'Igor Machado Coelho' in Google

Luiz Satoru Ochi

This author has not been identified. Look up 'Luiz Satoru Ochi' in Google

Vitor Nazário Coelho

This author has not been identified. Look up 'Vitor Nazário Coelho' in Google