Dealing with Interactive Transactions in a Byzantine Fault Tolerant STM.

Tulio Alberton Ribeiro Lau Cheuk Lung Hylson Vescovi Netto

Published in: SBRC (2014)

Keyphrases

fault tolerant
fault tolerance
distributed systems
load balancing
high availability
state machine
multi agent
model checking
safety critical