摘要
并发程序设计语言的形式语义定义,是当今语义学研究中比较活跃的领域之一,语言的形式操作语义为语言的准确实现,提供直接的依据。本文给出了带广播功能的CSP(Communicating Sequential Processes)的形式操作语义。
Providing of formal semantic definitions of concurrent program languages is one of the most active areas of today's researching work on semantics. Formal operational semantics provide a direct basis for a precise realization of a program language. In this paper, the formal operational semantics of CSPB (Communicating Sequential Processes Witn Broadcasting) is given.
关键词
广播
广播功能
操作
语义
concurrent
broadcasting
operation semantics
