Behavioral Types in Programming Languages
, , , , , , , , , , , , , , , , , ,
[2016].
In Found. Trends Program. Lang. 3.
@article{DBLP:journals/ftpl/AnconaBB0CDGGGH16, 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 and Luca Padovani and Vasco T. Vasconcelos and Nobuko Yoshida}, title = {Behavioral Types in Programming Languages}, journal = {Found. Trends Program. Lang.}, volume = {3}, number = {2-3}, pages = {95--230}, year = {2016}, url = {https://doi.org/10.1561/2500000031}, doi = {10.1561/2500000031}, timestamp = {Tue, 21 Mar 2023 21:16:07 +0100}, biburl = {https://dblp.org/rec/journals/ftpl/AnconaBB0CDGGGH16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
A PDF is available (possibly a preprint):