Blockchain and cryptocurrencies: A classification and comparison of architecture drivers[J] CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE 2020(33) Garriga, Martin Dalla Palma, Stefano Arias, Maxmiliano De Renzis, Alan Pareschi, Remo Andrew Tamburri, Damian
A formal model for ledger management systems based on contracts and temporal logic[J] BLOCKCHAIN-RESEARCH AND APPLICATIONS 2022(3) Bottoni, Paolo Labella, Anna Pareschi, Remo
