Operational Semantics of a Weak Memory Model with Channel Synchronization.

Daniel Schnetzer Fava, Martin Steffen, Volker Stolz

Browse the full FM paper archive.