Modelling session types using contracts
Citation:Giovanni Bernardi and Matthew Hennessy, Modelling session types using contracts, Trinity College Dublin, 2011
Modelling session types using contracts.pdf (Published (publisher's copy) - Peer Reviewed) 669.7Kb
Session types and contracts are two formalisms used to study client- server protocols. In this paper we study the relationship between them. The main result is the existence of a fully abstract model of session types; this model is based on a natural interpretation of these types into a subset of contracts.
Type of material:Report
Availability:Full text available