A Semantics of Compensations for Long−Running Transactions

Bibliografiske detaljer
Hovedforfatter: Hoare, C
Format: Record
Udgivet: 2015