Please use this identifier to cite or link to this item: http://hdl.handle.net/2381/41256
Title: On sessions and infinite data
Authors: Severi, Paula
Padovani, Luca
Tuosto, Emilio
Dezani-Ciancaglini, Mariangiola
First Published: 20-Jun-2017
Publisher: IfCoLog (International Federation of Computational Logic)
Citation: Logical Methods in Computer Science, 2017, 13 (2), pp. 1-39
Abstract: 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.
DOI Link: 10.23638/LMCS-13(2:9)2017
ISSN: 1860-5974
Links: https://lmcs.episciences.org/3725
http://hdl.handle.net/2381/41256
Version: Publisher Version
Status: Peer-reviewed
Type: Journal Article
Rights: Copyright © the authors,2017. This is an Open Access article distributed under the terms of the Creative Commons Attribution No-Derivatives License (https://creativecommons.org/licenses/by-nd/2.0/).
Appears in Collections:Published Articles, Dept. of Computer Science

Files in This Item:
File Description SizeFormat 
1610.06362.pdfPublished (publisher PDF)715.6 kBAdobe PDFView/Open


Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.