@Inproceedings{EPTCS160.9, author = {Gay, Simon J. and Gesbert, Nils and Ravara, Ant\'onio}, year = {2014}, title = {Session Types as Generic Process Types}, editor = {Borgstr\"om, Johannes and Crafa, Silvia}, booktitle = {{\rm Proceedings Combined 21st International Workshop on} Expressiveness in Concurrency {\rm and 11th Workshop on} Structural Operational Semantics, {\rm Rome, Italy, 1st September 2014}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {160}, publisher = {Open Publishing Association}, pages = {94-110}, doi = {10.4204/EPTCS.160.9}, }