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 Data

Authors: Paula Severi ; Luca Padovani ; 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
Submitted on: June 20, 2017
Keywords: Computer Science - Logic in Computer Science


Share

Consultation statistics

This page has been seen 687 times.
This article's PDF has been downloaded 570 times.