@inproceedings{Bonnet:2013:BCR:2450348.2450357,
    Address = {Berlin, Heidelberg},
    Author = {Bonnet, R{\'e}mi and Chadha, Rohit},
    BookTitle = {Proceedings of the 16th international conference on Foundations of Software Science and Computation Structures},
    ISBN = {978-3-642-37074-8},
    Location = {Rome, Italy},
    Pages = {65--80},
    Publisher = {Springer-Verlag},
    Series = {FOSSACS'13},
    Title = {Bounded context-switching and reentrant locking},
    URL = {http://dx.doi.org/10.1007/978-3-642-37075-5\_5},
    Year = {2013},
    acmid = {2450357},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-37075-5\_5},
    date-added = {2013-11-13 15:59:30 +0000},
    date-modified = {2013-11-13 15:59:30 +0000},
    numpages = {16},
    doi = {10.1007/978-3-642-37075-5_5}
}

@inproceedings{Bonnet:2013:BCR:2450348.2450357, Address = {Berlin, Heidelberg}, Author = {Bonnet, R{\'e}mi and Chadha, Rohit}, BookTitle = {Proceedings of the 16th international conference on Foundations of Software Science and Computation Structures}, ISBN = {978-3-642-37074-8}, Location = {Rome, Italy}, Pages = {65--80}, Publisher = {Springer-Verlag}, Series = {FOSSACS'13}, Title = {Bounded context-switching and reentrant locking}, URL = {http://dx.doi.org/10.1007/978-3-642-37075-5_5}, Year = {2013}, acmid = {2450357}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-37075-5_5}, date-added = {2013-11-13 15:59:30 +0000}, date-modified = {2013-11-13 15:59:30 +0000}, numpages = {16}, doi = {10.1007/978-3-642-37075-5_5} }