Distributed Computing and Distributed Systems
Distributed Data Consistency
Distributed Transactions
Formal Methods
TLA+/TLAPS
SAT/SMT