Search Results for author:
Found 1 papers, 0 papers with code
A formal model for ledger management systems based on contracts and temporal logic
A key component of blockchain technology is the ledger, viz., a database that, unlike standard databases, keeps in memory the complete history of past transactions as in a notarial archive for the benefit of any future test.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
