Login / Signup
Distributed causal memory: modular specification and verification in higher-order distributed separation logic.
Léon Gondelman
Simon Oddershede Gregersen
Abel Nieto
Amin Timany
Lars Birkedal
Published in:
Proc. ACM Program. Lang. (2021)
Keyphrases
</>
higher order
distributed systems
distributed environment
multi agent
asynchronous circuits
lightweight
cooperative
neural network
data transfer
model checking
proof theory
formal verification
communication cost
fault tolerant
main memory
markov random field
high level