@techreport{elmas08qedtr,
   author = "Tayfun Elmas, Shaz Qadeer, Serdar Tasiran",
   title = "A Calculus of Atomic Actions",
   institution = "Microsoft Research",
   number = "MSR-TR-2008-99",
   year = 2008,
}