Formal reasoning about lazy-STM programs
星期四, 09/10/2009 - 14:43 — nate
| 标题 | Formal reasoning about lazy-STM programs |
| Publication Type | Journal Article |
| Year of Publication | 2009 |
| Authors | Li, Y, Zhang Y, Chen Y, Fu M |
| Journal | submitted to Journal of Computer Science and Technology |
| Date Published | 10/2009 |
| 附件 | 大小 |
|---|---|
| Formal reasoning about lazy-STM programs.pdf | 246.32 KB |
| coq-impl.rar | 54.34 KB |
- 要发表评论，请先登录
- Tagged
- XML
- BibTex
- Google Scholar