Formalizing and Verifying Decentralized Systems with Extended Concurrent Separation Logic.

Yepeng Ding Hiroyuki Sato

Published in: CoRR (2020)

Keyphrases

distributed systems
computer systems
learning systems
retrieval systems
digital circuits
asynchronous circuits
learning algorithm
database systems
multi agent
cooperative
expert systems
hidden markov models
programming language
logic programming
complex systems
distributed agents