Nancy A. Lynch. Atomic Transactions for Multiprocessor Programming: A Formal Approach. In Guy E. Blelloch, K. Mani Chandy, Suresh Jagannathan, editors, Specification of Parallel Algorithms, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, May 9-11, 1994. Volume 18 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pages 125-142, DIMACS/AMS, 1994.
@inproceedings{Lynch94-0, title = {Atomic Transactions for Multiprocessor Programming: A Formal Approach}, author = {Nancy A. Lynch}, year = {1994}, researchr = {https://researchr.org/publication/Lynch94-0}, cites = {0}, citedby = {0}, pages = {125-142}, booktitle = {Specification of Parallel Algorithms, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, May 9-11, 1994}, editor = {Guy E. Blelloch and K. Mani Chandy and Suresh Jagannathan}, volume = {18}, series = {DIMACS Series in Discrete Mathematics and Theoretical Computer Science}, publisher = {DIMACS/AMS}, }