@inproceedings{Hoenicke:2017:TMM:3009837.3009893,
    Address = {New York, NY, USA},
    Author = {Hoenicke, Jochen and Majumdar, Rupak and Podelski, Andreas},
    BookTitle = {Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages},
    File = {p473-hoenicke (0) - a - a - h.pdf},
    ISBN = {978-1-4503-4660-3},
    Keywords = {Concurrency, Owicki-Gries, Parameterized verification, Thread-modularity},
    Location = {Paris, France},
    Pages = {473--485},
    Publisher = {ACM},
    Series = {POPL 2017},
    Title = {Thread Modularity at Many Levels: A Pearl in Compositional Verification},
    URL = {http://doi.acm.org/10.1145/3009837.3009893},
    Year = {2017},
    acmid = {3009893},
    bdsk-url-1 = {http://doi.acm.org/10.1145/3009837.3009893},
    bdsk-url-2 = {http://dx.doi.org/10.1145/3009837.3009893},
    date-added = {2017-05-12 14:55:27 +0000},
    date-modified = {2017-05-12 14:55:27 +0000},
    numpages = {13},
    doi = {10.1145/3009837.3009893}
}

@inproceedings{Hoenicke:2017:TMM:3009837.3009893, Address = {New York, NY, USA}, Author = {Hoenicke, Jochen and Majumdar, Rupak and Podelski, Andreas}, BookTitle = {Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages}, File = {p473-hoenicke (0) - a - a - h.pdf}, ISBN = {978-1-4503-4660-3}, Keywords = {Concurrency, Owicki-Gries, Parameterized verification, Thread-modularity}, Location = {Paris, France}, Pages = {473--485}, Publisher = {ACM}, Series = {POPL 2017}, Title = {Thread Modularity at Many Levels: A Pearl in Compositional Verification}, URL = {http://doi.acm.org/10.1145/3009837.3009893}, Year = {2017}, acmid = {3009893}, bdsk-url-1 = {http://doi.acm.org/10.1145/3009837.3009893}, bdsk-url-2 = {http://dx.doi.org/10.1145/3009837.3009893}, date-added = {2017-05-12 14:55:27 +0000}, date-modified = {2017-05-12 14:55:27 +0000}, numpages = {13}, doi = {10.1145/3009837.3009893} }