"A calculus of atomic actions."

Tayfun Elmas, Shaz Qadeer, Serdar Tasiran (2009)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics