Paula Severi ; Luca Padovani ; Emilio Tuosto ; Mariangiola Dezani-Ciancaglini - On Sessions and Infinite Data

lmcs:2177 - Logical Methods in Computer Science, June 20, 2017, Volume 13, Issue 2 - https://doi.org/10.23638/LMCS-13(2:9)2017
On Sessions and Infinite DataArticle

Authors: Paula Severi ; Luca Padovani ORCID; Emilio Tuosto ; Mariangiola Dezani-Ciancaglini

We define a novel calculus that combines a call-by-name functional core with session-based communication primitives. We develop a typing discipline that guarantees both normalisation of expressions and progress of processes and that uncovers an unexpected interplay between evaluation and communication.

Comment: 39 pages 6 files including .bbl

https://doi.org/10.23638/LMCS-13(2:9)2017
Source: arXiv.org:1610.06362
Volume: Volume 13, Issue 2
Secondary volumes: Selected Papers of the 36th International Conference on Formal Techniques for Distributed Objects, Components and Systems and the 18th International Conference on Coordination Models and Languages (FORTE and COORDINATION 2016)
Published on: June 20, 2017
Imported on: June 20, 2017
Keywords: Computer Science - Logic in Computer Science
Licence: arXiv.org - Non-exclusive license to distribute
Funding:
    Source : OpenAIRE Graph
  • Scalable Hybrid Variability for Distributed Evolving Software Systems; Funder: European Commission; Code: 644298
  • REfactoring Parallel Heterogeneous Resource-Aware Applications - a Software Engineering Approach; Funder: European Commission; Code: 644235

1 Document citing this article

Share and export

Consultation statistics

This page has been seen 2320 times.
This article's PDF has been downloaded 3362 times.