Tu sei qui

Modelling session types using contracts

20 dicembre 2011
San Micheletto - Via S. Micheletto 3 (Classroom 6 )
Session types and contracts are two formalisms used to study client-server interactions. In this talk we show the relationship between them. In particular, we will show a natural interpretation of session types into a subset of contracts. This interpretation can be used to define a fully abstract model for the relation of sub-typing on session types.