Software Engineering, Programming Languages, Programming, Saga.
the interference rules for this version SagaLang, our inference rules are much more involved to specify its execution. Figure 4. SagaLang w/ Backward Recovery Again, I’ll only discuss the major differences to the previous version: ① For a non-empty saga ⟨(s × c × n); S⟩, if the transaction s