A Trace Semantics for Long−Running Transactions

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ: Butler, M, Hoare, C, Ferreira, C
Ձևաչափ: Conference item
Հրապարակվել է: Springer 2004