A Semantics of Compensations for Long−Running Transactions

Antzeko izenburuak

• A Trace Semantics for Long−Running Transactions
  nork: Butler, M, et al.
  Argitaratua: (2004)
• Compensable Transactions
  nork: Hoare, T
  Argitaratua: (2008)
• A Runs−and−Systems Semantics for Logics of Announcement
  nork: Pucella, R, et al.
  Argitaratua: (2009)
• Persuasion for the long run
  nork: Best, J, et al.
  Argitaratua: (2024)
• Persuasion for the Long Run
  nork: Best, J, et al.
  Argitaratua: (2017)