External Links

    Journal: SIGLOG News

    Volume 7, Issue 4

    3 -- 0Ranko Lazic. Verification column
    4 -- 19Mohamed Faouzi Atig. What is decidable under the TSO memory model?
    20 -- 26Daniela Petrisan. SIGLOG monthly 207
    runs on