@Inproceedings{EPTCS64.5, author = {Dal Lago, Ugo and Di Giamberardino, Paolo}, year = {2011}, title = {Soft Session Types}, editor = {Luttik, Bas and Valencia, Frank}, booktitle = {{\rm Proceedings 18th International Workshop on} Expressiveness in Concurrency, {\rm Aachen, Germany, 5th September 2011}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {64}, publisher = {Open Publishing Association}, pages = {59-73}, doi = {10.4204/EPTCS.64.5}, }