generated at
serializability
Strong strict two-phase locking (SS2PL or Rigorousness).
Global serializability, where the Global serializability problem and its proposed solutions are described.
Linearizability, a more general concept in concurrent computing.

wikipedia serializability