Roberto Bruni 0001 Hernán C. Melgratti Ugo Montanari Theoretical foundations for compensations in flow composition languages. 209-220 2005 conf/popl/2005 POPL https://doi.org/10.1145/1040305.1040323 https://doi.org/10.1145/1047659.1040323 db/conf/popl/popl2005.html#BruniMM05