@Inproceedings{EPTCS162.5,
  author    = {Barbanera, Franco and Dezani-Ciancaglini, Mariangiola and de' Liguoro, Ugo},
  year      = {2014},
  title     = {Compliance for reversible client/server interactions},
  editor    = {Carbone, Marco},
  booktitle = {{\rm Proceedings Third Workshop on}
               Behavioural Types,
               {\rm Rome, Italy, 1st September 2014}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {162},
  publisher = {Open Publishing Association},
  pages     = {35-42},
  doi       = {10.4204/EPTCS.162.5},
}