An Assertional Proof of a Lock Synchronization Algorithm Using Fetch and Store Atomic Instruction

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.

Authors

T.-L. Huang

This author has not been identified. Look up 'T.-L. Huang' in Google

J. H. Lin

This author has not been identified. Look up 'J. H. Lin' in Google