Specifying and Proving Serializability in Temporal Logic

Doron Peled, Shmuel Katz, Amir Pnueli. Specifying and Proving Serializability in Temporal Logic. In Proceedings, Sixth Annual IEEE Symposium on Logic in Computer Science, 15-18 July, 1991, Amsterdam, The Netherlands. pages 232-244, IEEE Computer Society, 1991.

Abstract

Abstract is missing.