A Trace Semantics for Long−Running Transactions

Chi tiết về thư mục
Những tác giả chính: Butler, M, Hoare, C, Ferreira, C
Định dạng: Conference item
Được phát hành: Springer 2004