From Sequential Specifications to Eventual Consistency.

Radha Jagadeesan, James Riely

Browse the full ICALP paper archive.