T.-L. Huang, J. H. Lin. An Assertional Proof of a Lock Synchronization Algorithm Using Fetch and Store Atomic Instruction. In Lionel M. Ni, editor, Proceedings 1994 International Conference on Parallel and Distributed Systems, December 19-21, 1994, Hsinchu, Taiwan, Republic of China. pages 759-768, IEEE Computer Society, 1994.
@inproceedings{HuangL94:2, title = {An Assertional Proof of a Lock Synchronization Algorithm Using Fetch and Store Atomic Instruction}, author = {T.-L. Huang and J. H. Lin}, year = {1994}, tags = {synchronization}, researchr = {https://researchr.org/publication/HuangL94%3A2}, cites = {0}, citedby = {0}, pages = {759-768}, booktitle = {Proceedings 1994 International Conference on Parallel and Distributed Systems, December 19-21, 1994, Hsinchu, Taiwan, Republic of China}, editor = {Lionel M. Ni}, publisher = {IEEE Computer Society}, isbn = {0-8186-6555-6}, }