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