1,615 followers
Our paper with Olya Ohrimenko (https://t.co/VlLZcIlsHK) on "Verifying the Consistency of Remote Untrusted Services with Conflict-Free Operations" will appear in Information&Computation, a formal treatment of consistency and fork-linearizability. Prepri