joaomhmpereira/Highly-Dependable-Systems

An application (simplified Smart Contract) that implements a Token Exchange System (TES) using State Machine Replication, Blockchain and Byzantine Fault Tolerant Consensus

Java