Login / Signup
Proof of Previous Transactions (PoPT): An Efficient Approach to Consensus for JCLedger.
Xiang Fu
Huaimin Wang
Peichang Shi
Published in:
IEEE Trans. Syst. Man Cybern. Syst. (2021)
Keyphrases
</>
transactional data
theorem proving
directed networks
database
theorem prover
information retrieval
distributed database systems
transaction processing
transaction management
transaction data
real time database systems
nested transactions
long lived
proof theory
database transactions