Operational semantics of a weak memory model with channel synchronization

Saved in:
Bibliographic Details
Published inJournal of logical and algebraic methods in programming Vol. 103; pp. 1 - 30
Main Authors Fava, Daniel S., Steffen, Martin, Stolz, Volker
Format Journal Article
LanguageEnglish
Published 01.02.2019
Online AccessGet full text

Cover

More Information
ISSN:2352-2208
DOI:10.1016/j.jlamp.2018.10.004