Login / Signup
Operational Semantics of a Weak Memory Model with Channel Synchronization.
Daniel Schnetzer Fava
Martin Steffen
Volker Stolz
Published in:
FM (2018)
Keyphrases
</>
operational semantics
probabilistic model
high level
cooperative
email
software engineering
agent model