A Semantics of Compensations for Long−Running Transactions

Bibliografske podrobnosti
Glavni avtor: Hoare, C
Format: Record
Izdano: 2015