Roberto Bruni, Michael J. Butler, Carla Ferreira, C. A. R. Hoare, Hernán C. Melgratti, Ugo Montanari. Comparing Two Approaches to Compensable Flow Composition. In Martín Abadi, Luca de Alfaro, editors, CONCUR 2005 - Concurrency Theory, 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings. Volume 3653 of Lecture Notes in Computer Science, pages 383-397, Springer, 2005. [doi]
@inproceedings{BruniBFHMM05,
title = {Comparing Two Approaches to Compensable Flow Composition},
author = {Roberto Bruni and Michael J. Butler and Carla Ferreira and C. A. R. Hoare and Hernán C. Melgratti and Ugo Montanari},
year = {2005},
doi = {10.1007/11539452_30},
url = {http://dx.doi.org/10.1007/11539452_30},
tags = {composition, data-flow, C++, systematic-approach},
researchr = {https://researchr.org/publication/BruniBFHMM05},
cites = {0},
citedby = {0},
pages = {383-397},
booktitle = {CONCUR 2005 - Concurrency Theory, 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings},
editor = {Martín Abadi and Luca de Alfaro},
volume = {3653},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-28309-9},
}