A Trace Semantics for Long−Running Transactions

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون: Butler, M, Hoare, C, Ferreira, C
التنسيق: Conference item
منشور في: Springer 2004