A Formal Model of Algorand Smart Contracts.

Massimo Bartoletti Andrea Bracciali Cristian Lepore Alceste Scalas Roberto Zunino

Published in: Financial Cryptography (1) (2021)

Keyphrases

formal model
supply chain
smart environments
smart grid
formal models
predicate calculus
object oriented
social welfare
home environments
ubiquitous environments