A calculus of atomic actions.

Tayfun Elmas, Shaz Qadeer, Serdar Tasiran

Browse the full POPL paper archive.