Modelling session types using contracts

HENNESSY, MATTHEW; BERNARDI, GIOVANNI

This item is covered by a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 Internationa. Click to find out more

File Type:

PDF

Item Type:

Report

Date:

2011

Author:

HENNESSY, MATTHEW

BERNARDI, GIOVANNI

Citation:

Giovanni Bernardi and Matthew Hennessy, Modelling session types using contracts, Trinity College Dublin, 2011

Download Item:

(Published (publisher's copy) - Peer Reviewed) 669.7Kb

Abstract:

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.