This page shows all presentations of this author published in EasyChair Smart Slide.
Operational Semantics of a Weak Memory Model with Channel Synchronization
Daniel Fava, Martin Steffen and Volker Stolz