用于广播的会话类型
编程语言
2014-06-16 v1 计算机科学中的逻辑
摘要
迄今为止，会话类型的使用一直基于点对点通信的假设，以确保会话端点的线性性，以及可靠通信的假设，以确保发送/接收的对偶性。在本文中，我们定义了一种针对广播通信语义的会话类型理论，该语义按定义不假设点对点和可靠通信。我们的会话框架建立在广播 psi-演算 (broadcasting psi-calculi) 的参数化框架之上，为在参数化框架内开发会话类型提供了见解。我们的会话类型理论具有可靠性和安全性属性。我们进一步相信，所提出的解决方案最终将提供更深入的理解，即会话类型原则应如何应用于通信语义的一般情况。
引用
@article{arxiv.1406.3481,
title = {Session Types for Broadcasting},
author = {Dimitrios Kouzapas and Ramūnas Gutkovas and Simon J. Gay},
journal= {arXiv preprint arXiv:1406.3481},
year = {2014}
}
备注
In Proceedings PLACES 2014, arXiv:1406.3313