@inproceedings{1480885,
 author = {Elmas, Tayfun and Qadeer, Shaz and Tasiran, Serdar},
 title = {A calculus of atomic actions},
 booktitle = {POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
 year = {2009},
 isbn = {978-1-60558-379-2},
 pages = {2--15},
 location = {Savannah, GA, USA},
 doi = {http://doi.acm.org/10.1145/1480881.1480885},
 publisher = {ACM},
 address = {New York, NY, USA},
 }