Parametric Channels via Label Expressions in CCS
Parametric Channels via Label Expressions in CCS
复制标题
DOI：
10.1016/0304-3975(84)90102-6
复制
发表时间：
1984
期刊：
影响因子：
--
通讯作者：
E. Astesiano;E. Zucca
中科院分区：
文献类型：
--
作者：
E. Astesiano;E. Zucca
CCS是由米尔纳设计的通信系统的微积分，它通过翻译为许多并发语言提供了可靠的数学基础。然而，就目前而言，它受到限制：不可能在运行时确定发送或接收通信的信道。有各种各样的可能性，使CCS这样的能力，但代价可能是在语言和CCS的理论急剧变化。在这里，我们提出了一个简单的解决方案，这个问题，保持语言和理论几乎不变，至少在基本方面：基本的想法是扩展CCS允许（通道）标签表达式。我们还展示了这个扩展版本的CCS的各种应用程序。
CCS, the Calculus of Communicating Systems devised by Milner, has proved extremely successful for providing, via translation, a sound mathematical basis for a wide class of concurrent languages. Nevertheless, as it stands, it suffers from a limitation: it is impossible to determine at run time the channel on which to send or receive a communication. There are various possibilities for giving CCS such ability, but the price can be a drastic change in the language and the theory of CCS.Here we present a simple solution to this problem, which keeps language and theory almost unchanged, at least in fundamental aspects: the essential idea is to extend CCS by allowing (channel-) label expressions. We also show various applications of this extended version of CCS.