A Formal Model of Algorand Smart Contracts.

Massimo Bartoletti, Andrea Bracciali, Cristian Lepore, Alceste Scalas, Roberto Zunino

Browse the full FC paper archive.