A formal model of Algorand smart contracts.

Massimo Bartoletti Andrea Bracciali Cristian Lepore Alceste Scalas Roberto Zunino

Published in: CoRR (2020)

Keyphrases

formal model
predicate calculus
supply chain
smart environments
security patterns
home environments