"Operational Semantics of a Weak Memory Model with Channel Synchronization."

Daniel Schnetzer Fava, Martin Steffen, Volker Stolz (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics