A Temporal Blockchain: A Formal Analysis.

Richard Dennis Gareth Owenson Benjamin Aziz

Published in: CTS (2016)

Keyphrases

formal analysis
spatio temporal
temporal information
temporal constraints
formal methods
spatial and temporal
temporal evolution
ban logic
temporal analysis
temporal databases
agent model
temporal data
temporal relations
temporal patterns
temporal dimension
data model
temporal consistency
database systems