Using higher-order contracts to model session types

@inproceedings{Bernardi2014UsingHC,
  title={Using higher-order contracts to model session types},
  author={Giovanni Tito Bernardi and Matthew Hennessy},
  booktitle={Logical Methods in Computer Science},
  year={2014}
}
Session types are used to describe and structure interactions between independent processes in distributed systems. Higher-order types are needed in order to properly structure delegation of responsibility between processes. In this paper we show that higher-order web-service contracts can be used to provide a fully-abstract model of recursive higher-order session types. The model is set-theoretic, in the sense that the meaning of a contract is given in terms of the set of contracts with which… CONTINUE READING
Related Discussions
This paper has been referenced on Twitter 4 times. VIEW TWEETS

From This Paper

Figures, tables, and topics from this paper.

Explore Further: Topics Discussed in This Paper

References

Publications referenced by this paper.
Showing 1-10 of 32 references

Fair subtyping for multi-party session types

Mathematical Structures in Computer Science • 2016

Propositions as sessions

J. Funct. Program. • 2014

Using higher-order contracts to model session types (extended abstract)

Giovanni Bernardi, Matthew Hennessy
CONCUR 2014 - Concurrency Theory - 25th International Conference, • 2014

Liguoro. Sub-behaviour relations for session-based client/server systems

Franco Barbanera, Ugo de
submitted for publication, • 2013

Similar Papers

Loading similar papers…