The serializability problem for a temporal logic of transaction queries

Walter Hussak. The serializability problem for a temporal logic of transaction queries. Journal of Applied Non-Classical Logics, 18(1):67-78, 2008. [doi]

Abstract

Abstract is missing.