Login / Signup
A Process Calculus for Formally Verifying Blockchain Consensus Protocols.
Wolfgang Jeltsch
Published in:
DECLARE (2019)
Keyphrases
</>
real time
information systems
process model
database
databases
information retrieval
genetic algorithm
artificial intelligence
search engine
website
expert systems
user interface
software engineering
directed networks