%0 Journal Article %1 journals/csur/HuttelLVCCDMPRT16 %A Hüttel, Hans %A Lanese, Ivan %A Vasconcelos, Vasco T. %A Caires, Luís %A Carbone, Marco %A Deniélou, Pierre-Malo %A Mostrous, Dimitris %A Padovani, Luca %A Ravara, António %A Tuosto, Emilio %A Vieira, Hugo Torres %A Zavattaro, Gianluigi %D 2016 %J ACM Comput. Surv. %K dblp %N 1 %P 3:1-3:36 %T Foundations of Session Types and Behavioural Contracts. %U http://dblp.uni-trier.de/db/journals/csur/csur49.html#HuttelLVCCDMPRT16 %V 49

@article{journals/csur/HuttelLVCCDMPRT16, added-at = {2019-09-16T00:00:00.000+0200}, author = {Hüttel, Hans and Lanese, Ivan and Vasconcelos, Vasco T. and Caires, Luís and Carbone, Marco and Deniélou, Pierre-Malo and Mostrous, Dimitris and Padovani, Luca and Ravara, António and Tuosto, Emilio and Vieira, Hugo Torres and Zavattaro, Gianluigi}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2440f05ce4ddb7c8055a24db00308a880/dblp}, ee = {https://doi.org/10.1145/2873052}, interhash = {120cdcbce73a905fe112c0f766201c40}, intrahash = {440f05ce4ddb7c8055a24db00308a880}, journal = {ACM Comput. Surv.}, keywords = {dblp}, number = 1, pages = {3:1-3:36}, timestamp = {2019-09-27T10:24:33.000+0200}, title = {Foundations of Session Types and Behavioural Contracts.}, url = {http://dblp.uni-trier.de/db/journals/csur/csur49.html#HuttelLVCCDMPRT16}, volume = 49, year = 2016 }