38 citations · 145 across the 24 of their papers we have counts for
1 paper · 1 filter
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…