Formal Aspects of Serializability in Database Concurrency Control
- 1 May 1979
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. SE-5 (3), 203-216
- https://doi.org/10.1109/tse.1979.234182