A Semantics of Compensations for Long−Running Transactions
Main Author: | Hoare, C |
---|---|
Format: | Record |
Published: |
2015
|
Similar Items
-
A Trace Semantics for Long−Running Transactions
by: Butler, M, et al.
Published: (2004) -
Compensable Transactions
by: Hoare, T
Published: (2008) -
A Runs−and−Systems Semantics for Logics of Announcement
by: Pucella, R, et al.
Published: (2009) -
Persuasion for the long run
by: Best, J, et al.
Published: (2024) -
Persuasion for the Long Run
by: Best, J, et al.
Published: (2017)