5 citations · 5 across the 1 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2012★ 2 cited
Proceedings Fifth Interaction and Concurrency Experience
Marco Carbone, Ivan Lanese, Alexandra Silva +1
This volume contains the proceedings of ICE'12, the 5th Interaction and Concurrency Experience workshop, which was held in Stockholm, Sweden on the 16th of June 2012 as a satellite…
cs.PL2010★ 5 cited
Static vs Dynamic SAGAs
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…