Behavioral Types in Programming Languages

Davide Ancona , Viviana Bono , Mario Bravetti