Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

Sound and Complete Monitoring of Sequential Consistency in Relaxed Memory Models

Jacob Burnim, Koushik Sen and Christos Stergiou

EECS Department
University of California, Berkeley
Technical Report No. UCB/EECS-2010-31
March 18, 2010

http://www.eecs.berkeley.edu/Pubs/TechRpts/2010/EECS-2010-31.pdf


BibTeX citation:

@techreport{Burnim:EECS-2010-31,
    Author = {Burnim, Jacob and Sen, Koushik and Stergiou, Christos},
    Title = {Sound and Complete Monitoring of Sequential Consistency in Relaxed Memory Models},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {2010},
    Month = {Mar},
    URL = {http://www.eecs.berkeley.edu/Pubs/TechRpts/2010/EECS-2010-31.html},
    Number = {UCB/EECS-2010-31}
}

EndNote citation:

%0 Report
%A Burnim, Jacob
%A Sen, Koushik
%A Stergiou, Christos
%T Sound and Complete Monitoring of Sequential Consistency in Relaxed Memory Models
%I EECS Department, University of California, Berkeley
%D 2010
%8 March 18
%@ UCB/EECS-2010-31
%U http://www.eecs.berkeley.edu/Pubs/TechRpts/2010/EECS-2010-31.html
%F Burnim:EECS-2010-31