Detecting Robustness against MVRC for Transaction Programs with Predicate Reads.

Brecht Vandevoort, Bas Ketsman, Christoph Koch, Frank Neven

Browse the full EDBT paper archive.