A Semantics of Compensations for Long−Running Transactions

Схожі ресурси

• A Trace Semantics for Long−Running Transactions
  за авторством: Butler, M, та інші
  Опубліковано: (2004)
• Compensable Transactions
  за авторством: Hoare, T
  Опубліковано: (2008)
• A Runs−and−Systems Semantics for Logics of Announcement
  за авторством: Pucella, R, та інші
  Опубліковано: (2009)
• Persuasion for the long run
  за авторством: Best, J, та інші
  Опубліковано: (2024)
• Persuasion for the Long Run
  за авторством: Best, J, та інші
  Опубліковано: (2017)