Author:
BERNARDI GIOVANNI,HENNESSY MATTHEW
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.
Publisher
Cambridge University Press (CUP)
Subject
Computer Science Applications,Mathematics (miscellaneous)
Reference26 articles.
1. oasis Standard (2011) Universal Description, Discovery, and Integration. Available at http://uddi.xml.org/
2. Subtyping for session types in the pi calculus
3. Fair Subtyping for Multi-party Session Types
4. Fair testing
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献