1. ENTCS;F. Banti,2009
2. Lecture Notes in Computer Science;R. Bruni,2005
3. Bruni, R., Melgratti, H., Montanari, U.: Theoretical foundations for compensations in flow composition languages. In: Proc. of POPL 2005, pp. 209–220. ACM Press, New York (2005)
4. Lecture Notes in Computer Science;N. Busi,2006
5. Lecture Notes in Computer Science;M.J. Butler,2004