Thumbnail Image
Publication

Using higher-order contracts to model session types. (Extended Abstract)

Date
2014
Abstract
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 settheoretic, 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.
Supervisor
Description
peer-reviewed
Publisher
Springer
Citation
Baldan P., Gorla D. (eds) CONCUR 2014 – Concurrency Theory. CONCUR 2014. Lecture Notes in Computer Science;8704, pp. 387-401
Collections
Lero - The Science Foundation Ireland Research Centre for Software
Show all metadata
Files
Thumbnail Image
Bernardi_2014_using.pdf
Adobe PDF, 151.26 KB
Keywords
computer software, distributed systems
ULRR Identifiers
https://hdl.handle.net/10344/5419
 https://doi.org/10.34961/1096
Funding code
Funding Information
Science Foundation Ireland (SFI)
Sustainable Development Goals
External Link
License
Embedded videos