@Inproceedings{EPTCS162.4, author = {Dardha, Ornela}, year = {2014}, title = {Recursive Session Types Revisited}, editor = {Carbone, Marco}, booktitle = {{\rm Proceedings Third Workshop on} Behavioural Types, {\rm Rome, Italy, 1st September 2014}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {162}, publisher = {Open Publishing Association}, pages = {27-34}, doi = {10.4204/EPTCS.162.4}, }