Languages

Formal reasoning about lazy-STM programs

TitleFormal reasoning about lazy-STM programs
Publication TypeJournal Article
Year of Publication2009
AuthorsLi Y, Zhang Y, Chen Y, Fu M
Journalsubmitted to Journal of Computer Science and Technology
Date Published10/2009
AttachmentSize
Formal reasoning about lazy-STM programs.pdf246.32 KB
coq-impl.rar54.34 KB