Certifying Concurrent Programs Using Transactional Memory

Long Li, Yu Zhang, Yiyun Chen, Yong Li. Certifying Concurrent Programs Using Transactional Memory. J. Comput. Sci. Technol., 24(1):110-121, 2009. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.