@article{Ancona_2016,
    doi = {10.1561/2500000031},
    url = {https://doi.org/10.1561%2F2500000031},
    year = {2016},
    publisher = {Now Publishers},
    volume = {3},
    number = {2-3},
    pages = {95--230},
    author = {Davide Ancona and Viviana Bono and Mario Bravetti and Joana Campos and Giuseppe Castagna and Pierre-Malo Deni{\'{e}}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 Bono and Luca Padovani and Vasco T. Vasconcelos and Nobuko Yoshida},
    title = {Behavioral Types in Programming Languages},
    journal = {Foundations and Trends{\textregistered} in Programming Languages}
}

@article{Ancona_2016, doi = {10.1561/2500000031}, url = {https://doi.org/10.1561%2F2500000031}, year = {2016}, publisher = {Now Publishers}, volume = {3}, number = {2-3}, pages = {95--230}, author = {Davide Ancona and Viviana Bono and Mario Bravetti and Joana Campos and Giuseppe Castagna and Pierre-Malo Deni{\'{e}}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 Bono and Luca Padovani and Vasco T. Vasconcelos and Nobuko Yoshida}, title = {Behavioral Types in Programming Languages}, journal = {Foundations and Trends{\textregistered} in Programming Languages} }