5 citations · 5 across the 1 of their papers we have counts for
1 paper
Ivan Lanese
SAGAs calculi (or simply SAGAs) have been proposed by Bruni et al. as a model for long-running transactions. The approach therein can be considered static, while a dynamic approach…