更新时间：2023-11-27 18:21
CCS：CodeWarrior Connection Server 的缩写，这是飞思卡尔DSC调试中需要连接的服务器。
Code Composer Studio
中文译名： 代码调式器，代码设计套件.
分 类： DSP，嵌入式编程
解 释： Code Composer Studio IDE 提供强健
Code Composer Studio 包含一整套用于开发和调试嵌入式应用的工具。它包含适用于每个 TI 器件系列的编译器、源码编辑器、项目构建环境、调试器、描述器、仿真器以及多种其它功能。CCS IDE 提供了单个用户界面，可帮助您完成应用开发流程的每个步骤。借助于精密的高效工具，用户能够利用熟悉的工具和界面快速上手并将功能添加至他们的应用。
Calculus of Communicating Systems
通信系统演算（calculus Of communicatiOn systems，CCS）英国学者R．Milner提出的用于描述通信并发系统的代数理论。
假定一个标号集L，其补集Act=L∪L∪{τ}称为动作集，其中τ是特殊的不可见动作。CCS的进程构造算子如下：
算子 直观意义
0 空进程
a.P 动作前缀（a∈Act）
P+Q 非确定选择
P|Q 并行复合
P(f) 换标号（f是从L到L的部分函数）此外还允许递归算子。
CCS的语义由结构化操作语义方法给出，下面列出几条典型的语义规则。P→Q表示进程P可执行动作a而演变为Q。
从关于并行算子|的规则可以看出，由两个进程并行复合而成的进程可以做每个分进程所能做的动作（PAR1）和（PAR2），但当两个分进程同时执行一对互补的动作时，则发生通信，产生τ动作（COM）。这种通信方式称为握手式通信。CCS的基本思想是用τ和+来模拟|，将并发归结为非确定性，即所谓交错语义。这一思想体现在下面的展开律中：
CCS采用互模拟作为基本的进程等价关系。强互模拟等价满足下面的Monoid公理：
P+0=P，P+P=P，P+Q=Q+P，
(P+Q)+R=P+(Q+R)
对观察等价（将τ忽略不计）还成立三条，—公理：
a.τ．P=a.P，
P+τ．P=τ．P，
a．（P+τ．Q）+a．Q=a．（P+τ．Q）
上面介绍的CCS称为基本CCS，或纯CCS，进程之间只能通过执行互补动作实现同步，而不能直接进行通信。全CCS引入输出动作c<-e和输入动作c->x，
c<-e表示沿通道c发送数据表达式e的值，c->x表示从通道c接收一个值赋给x，此外还有条件表达式if- then-else。用全CCS可以直接描述进程间的通信。