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 denotation of a contract is given by the set of contracts with which it complies; we use a novel notion of peer compliance. A crucial step in the proof of full-abstraction is showing that every contract has a non-empty denotation. © 2014 Springer-Verlag.
CITATION STYLE
Bernardi, G., & Hennessy, M. (2014). Using higher-order contracts to model session types (extended abstract). In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8704 LNCS, pp. 387–401). Springer Verlag. https://doi.org/10.1007/978-3-662-44584-6_27
Mendeley helps you to discover research relevant for your work.