Languages

An Operational Approach to Happens-before Memory Model

TitleAn Operational Approach to Happens-before Memory Model
Publication TypeConference Paper
Year of Publication2013
AuthorsZhang Y, Feng X
Conference NameThe 7th International Symposium on Theoretical Aspects of Software Engineering (TASE '13)
Date Published07/2013