[IEEE 2014 Brazilian Symposium on Computer Networks and Distributed Systems (SBRC) - Florianopolis, Brazil (2014.5.5-2014.5.9)] 2014 Brazilian Symposium on Computer Networks and Distributed Systems - Dealing with Interactive Transactions in a Byzantine Fault Tolerant STMRibeiro, Tulio Alberton; Lung, Lau Cheuk; Netto, Hylson Vescovi · 2014