PPT
Santa Cruz (CA) USA, 18 January 2005. Calculi for Committed Choices and Compensations Roberto Bruni - Dipartimento di Informatica, Università di Pisa. joint work with Gianluigi Ferrari Hern á n Melgratti Ugo Montanari Daniele Strollo Emilio Tuosto Dip. Informatica, Univ. Pisa.