<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>9307</REFNUM><AUTHORS><AUTHOR>Gay,S.J.</AUTHOR><AUTHOR>Gesbert,N.</AUTHOR><AUTHOR>Ravara,A.</AUTHOR></AUTHORS><YEAR>2008</YEAR><TITLE>Session Types as Generic Process Types</TITLE><PLACE_PUBLISHED>First Workshop on Programming language approaches to concurrency and communication-centric software (PLACES'08), Oslo</PLACE_PUBLISHED><PUBLISHER>N/A</PUBLISHER><PAGES>16-21</PAGES><LABEL>Gay:2008:9307</LABEL><KEYWORDS><KEYWORD>Session types</KEYWORD></KEYWORDS<ABSTRACT>Following a statement by Naoki Kobayashi in "Type systems for concurrent programs" (in Formal Methods at the Crosssroads, 2002) that the "generic type system for the pi-calculus" by Igarashi and him subsumes session types, we study the relationship between these two formalisms. As they are type systems for two slightly different process calculi, this first involves a translation of processes from one to the other; we discuss how this can be done so that both an operational and a typing correspondence would hold, and assess the practical interest of doing so.</ABSTRACT><URL>http://gloss.di.fc.ul.pt/places08/Places08Proceedings.pdf</URL></RECORD></RECORDS></XML>