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

lmcs:3725 - Logical Methods in Computer Science, June 20, 2017, Volume 13, Issue 2
On Sessions and Infinite Data

Authors: Severi, Paula and Padovani, Luca and Tuosto, Emilio and Dezani-Ciancaglini, Mariangiola

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.


Source : oai:arXiv.org:1610.06362
DOI : 10.23638/LMCS-13(2:9)2017
Volume: Volume 13, Issue 2
Published on: June 20, 2017
Submitted on: June 20, 2017
Keywords: Computer Science - Logic in Computer Science


Share

Browsing statistics

This page has been seen 26 times.
This article's PDF has been downloaded 9 times.