Brief announcement: exploring the consistency problem space.

Nishith Krishna, Marc Shapiro, Karthikeyan Bhargavan

Browse the full PODC paper archive.