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.


    Volume: Volume 13, Issue 2
    Published on: June 20, 2017
    Accepted on: May 26, 2017
    Submitted on: June 20, 2017
    Keywords: Computer Science - Logic in Computer Science
    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

    Consultation statistics

    This page has been seen 1459 times.
    This article's PDF has been downloaded 707 times.