Login / Signup
Owicki-Gries Reasoning for Weak Memory Models.
Ori Lahav
Viktor Vafeiadis
Published in:
ICALP (2) (2015)
Keyphrases
</>
statistical models
formal models
real time
knowledge base
probabilistic model
complex systems
model construction
reasoning tasks