@inproceedings{elmas:calculus:popl:2009,
  author	= {Elmas, Tayfun and Qadeer, Shaz and Tasiran, Serdar},
  title		= {A calculus of atomic actions},
  booktitle	= {POPL~'09: Proc. 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
  urlpage	= {http://dx.doi.org/10.1145/1480881.1480885},
  pdf		= {http://research.microsoft.com/pubs/70608/popl09.pdf},
  pages		= {2--15},
  year		= {2009},
  month		= {jan},
}