Modelling session types using contracts
Loading...
Date
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Access
Embargo end date
Citation
Giovanni Bernardi and Matthew Hennessy, Modelling session types using contracts, Trinity College Dublin, 2011
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.
Description
PUBLISHED
Endorsement
Review
Supplemented By
Referenced By
Keywords
Author's Homepage: http://people.tcd.ie/mcbhenne
Type of material: Report