Formal Reasoning About Lazy-STM Programs

Full description

Bibliographic Details

Published in:	Journal of computer science and technology. - Springer US, 1986. - 25(2010), 4 vom: Juli, Seite 841-852
Main Author:	Li, Yong (Author)
Other Authors:	Zhang, Yu (Author) Chen, Yi-Yun (Author) Fu, Ming (Author)
Format:	electronic Article
Language:	English
Published:	2010
ISSN:	1860-4749
External Sources:	lizenzpflichtig