关于会话和无限数据
摘要：使用带有以延迟调用方式为基础的函数核心的全新演算定义与基于会话的通信原语相结合的演算。我们发展了一种类型学规则，既保证了表达式的规范化，又保证了进程的进展，并揭示了评估和通信之间意外的相互作用。
作者：Paula Severi and Luca Padovani and Emilio Tuosto and Mariangiola Dezani-Ciancaglini
论文ID：1610.06362
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22