A Trace Semantics for Long−Running Transactions

Xehetasun bibliografikoak
Egile Nagusiak: Butler, M, Hoare, C, Ferreira, C
Formatua: Conference item
Argitaratua: Springer 2004