Skip to Main content Skip to Navigation
Conference papers

Affine Sessions

Abstract : Session types describe the structure of protocols from the point of view of each participating channel. In particular, the types describe the type of communicated values, and also the dynamic alternation of input and output actions on the same channel, by which a protocol can be statically verified. Crucial to any term language with session types is the notion of linearity, which guarantees that channels exhibit exactly the behaviour prescribed by their type. We relax the condition of linearity to that of affinity, by which channels exhibit at most the behaviour prescribed by their types. This more liberal setting allows us to incorporate an elegant error handling mechanism which simplifies and improves related works on exceptions. Moreover, our treatment does not affect the progress properties of the language: sessions never get stuck.
Complete list of metadatas

Cited literature [23 references]  Display  Hide  Download

https://hal.inria.fr/hal-01290071
Contributor : Hal Ifip <>
Submitted on : Thursday, March 17, 2016 - 3:26:04 PM
Last modification on : Thursday, May 12, 2016 - 10:48:09 AM
Long-term archiving on: : Saturday, June 18, 2016 - 5:07:45 PM

File

326181_1_En_8_Chapter.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Dimitris Mostrous, Vasco Vasconcelos. Affine Sessions. 16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.115-130, ⟨10.1007/978-3-662-43376-8_8⟩. ⟨hal-01290071⟩

Share

Metrics

Record views

64

Files downloads

84