Bounded Session Types for Object Oriented Languages

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]

Authors

Mariangiola Dezani-Ciancaglini

This author has not been identified. It may be one of the following persons: Look up 'Mariangiola Dezani-Ciancaglini' in Google

Elena Giachino

This author has not been identified. Look up 'Elena Giachino' in Google

Sophia Drossopoulou

This author has not been identified. Look up 'Sophia Drossopoulou' in Google

Nobuko Yoshida

This author has not been identified. Look up 'Nobuko Yoshida' in Google