Histories

Specifying and proving serializability in temporal logic

History / Computer Science / Logic / Database Systems / Protocols / Classical Logic / Formal Verification / Linear Temporal Logic / Histories / Interference / Concurrency Control / Semantic Interpretation / Temporal Logic / Database theory / Classical Logic / Formal Verification / Linear Temporal Logic / Histories / Interference / Concurrency Control / Semantic Interpretation / Temporal Logic / Database theory