Mariangiola Dezani-Ciancaglini, Elena Giachino, Sophia Drossopoulou, Nobuko Yoshida. Bounded Session Types for Object Oriented Languages. In Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever, editors, Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures. Volume 4709 of Lecture Notes in Computer Science, pages 207-245, Springer, 2006. [doi]
@inproceedings{Dezani-CiancagliniGDY06,
title = {Bounded Session Types for Object Oriented Languages},
author = {Mariangiola Dezani-Ciancaglini and Elena Giachino and Sophia Drossopoulou and Nobuko Yoshida},
year = {2006},
doi = {10.1007/978-3-540-74792-5_10},
url = {http://dx.doi.org/10.1007/978-3-540-74792-5_10},
tags = {meta-model, Meta-Environment, meta-objects},
researchr = {https://researchr.org/publication/Dezani-CiancagliniGDY06},
cites = {0},
citedby = {0},
pages = {207-245},
booktitle = {Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures},
editor = {Frank S. de Boer and Marcello M. Bonsangue and Susanne Graf and Willem P. de Roever},
volume = {4709},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-74791-8},
}