Behavioral Types in Programming Languages

Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos 0002, Giuseppe Castagna, Pierre-Malo DeniƩlou, Simon J. Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco T. Vasconcelos, Nobuko Yoshida. Behavioral Types in Programming Languages. Foundations and Trends in Programming Languages, 3(2-3):95-230, 2016. [doi]

@article{AnconaBB0CDGGGH16,
  title = {Behavioral Types in Programming Languages},
  author = {Davide Ancona and Viviana Bono and Mario Bravetti and Joana Campos 0002 and Giuseppe Castagna and Pierre-Malo DeniƩlou and Simon J. Gay and Nils Gesbert and Elena Giachino and Raymond Hu and Einar Broch Johnsen and Francisco Martins and Viviana Mascardi and Fabrizio Montesi and Rumyana Neykova and Nicholas Ng and Luca Padovani and Vasco T. Vasconcelos and Nobuko Yoshida},
  year = {2016},
  doi = {10.1561/2500000031},
  url = {http://dx.doi.org/10.1561/2500000031},
  researchr = {https://researchr.org/publication/AnconaBB0CDGGGH16},
  cites = {0},
  citedby = {0},
  journal = {Foundations and Trends in Programming Languages},
  volume = {3},
  number = {2-3},
  pages = {95-230},
}