Formal Reasoning About Lazy-STM Programs

Verfasser / Beitragende:
[Yong Li, Yu Zhang, Yi-Yun Chen, Ming Fu]
Ort, Verlag, Jahr:
2010
Enthalten in:
Journal of Computer Science and Technology, 25/4(2010-07-01), 841-852
Format:
Artikel (online)
ID: 445152664