Composable, nestable, pessimistic atomic statements.

Zachary R. Anderson, David Gay

Browse the full OOPSLA paper archive.