A Trace Semantics for Long−Running Transactions
Asıl Yazarlar: | Butler, M, Hoare, C, Ferreira, C |
---|---|
Materyal Türü: | Conference item |
Baskı/Yayın Bilgisi: |
Springer
2004
|
Benzer Materyaller
-
A Semantics of Compensations for Long−Running Transactions
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (2015) -
Compensable Transactions
Yazar:: Hoare, T
Baskı/Yayın Bilgisi: (2008) -
Examining the Long-Run and Short-Run Effects of Technical and Financial Factors on Bitcoin Blockchain Network Transaction Fees
Yazar:: Amin Rostami, ve diğerleri
Baskı/Yayın Bilgisi: (2024-12-01) -
MATH MODEL OF RUNNING INDEX FOR EVALUATION AND CONTROL OF SPECIFIC EFFICIENCY AND TRACING THE FATIGUE LEVEL IN LONG-DISTANCE RUNNING
Yazar:: Mihail Konchev, ve diğerleri
Baskı/Yayın Bilgisi: (2022-07-01) -
A Model for Programming Language Semantics
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (1975)