Specifying and Proving Serializability in Temporal Logic

Doron A. Peled, Shmuel Katz, Amir Pnueli

Browse the full LICS paper archive.