A Trace Semantics for Long−Running Transactions

Bibliographische Detailangaben
Hauptverfasser: Butler, M, Hoare, C, Ferreira, C
Format: Conference item
Veröffentlicht: Springer 2004