A semantic approach to correctness of concurrent transaction executions.
By: By Paul Spirakis and Alexander Tuzhilin.
Contributors: Tuzhilin, Alexander
Publisher: Courant Institute of Mathematical Sciences, New York University
Published: 1984
Place of publication: New York
Language: eng
Number of pages: 35