Butler, M., Hoare, C., & Ferreira, C. (2004). A Trace Semantics for Long−Running Transactions. Springer.
Чикаго-гийн эшлэл (17 дахь хэвлэлт)Butler, M., C. Hoare, ба C. Ferreira. A Trace Semantics for Long−Running Transactions. Springer, 2004.
MLA -ийн эшлэл (9 дэх хэвлэлт)Butler, M., et al. A Trace Semantics for Long−Running Transactions. Springer, 2004.
Анхааруулга: Эдгээр ишлэлүүд үргэлж 100% үнэн зөв биш байж магадгүй.