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