主要工作分为如下五块：

（1）交互进程的消息可见性。进程交互可见性研究的研究方向与侧重点是可见性，而可见性又要研究可见的消息和不可见的消息。所谓消息就是进程交互传递的信息，本文将其看作进程交互之间的动作，动作是一个宽泛的定义，它可以发生在两个进程之间，也可以仅仅代表一个进程，还可以代表多个进程。

（2）并发进程演算和语义。本文使用最基本的事件结构作为研究模型。事件结构是并发模型的主要分支，后来被发展成为进程代数的语义模型。事件是构成时间结构的基本单元，尽管对于动作的发生，它所发生的时间、发生的原因以及其发生的环境都有相当大的差异。

（3）标记转移系统。LTS是进程代数的操作语义模型，它是在通常状态转移图中增加了一个转移动作而得来的。这个动作，我们成为消息，消息的可见性和不可见性，也就是这个动作可不可以被第三方获悉。

由该操作语义我们可以很自然的得到一个转移系统，其中每个转移都形如，即上面带有一个动作标记，也因此被称为标记转移系统（Labeled Transition Systems，）即LTS。LTS是进程代数的操作语义模型，它是在通常状态转移图中增加了一个转移动作而得来的。标记转移系统也常常使用图形，系统的状态一般用空心的圆圈或实心的圆圈来表示，变迁关系用带箭头的线表示，变迁前的状态用箭头去指向变迁后的状态，动作标记在带箭头的线上。

（4）区别外部动作与内部动作，对消息可见性进行分析。

.......

结论

本文所研究的进程是较高抽象层次的进程，与操作系统中的进程有所区别。进程之间交互传递的就是消息，消息可以是动作，动作是一个宽泛的定义，它可以发生在两个进程之间，也可以仅仅代表一个进程，还可以代表多个进程。并发进程演算中，表示和两个进程的顺序组合，进程成功执行再能执行进程；表示和这两个进程的选择组合，要么选择执行，要么选择执行；表示和这两个进程的并行组合，其中A是同步动作集，进程和在执行到包含在动作集A的动作时必须保持同步执行，其中A表示内部动作。

进程交互传递的信息，本文将其看作进程交互之间的动作，动作是一个宽泛的定义，它可以发生在两个进程之间，也可以仅仅代表一个进程，还可以代表多个进程。本文使用最基本的事件结构作为研究模型。事件结构是并发模型的主要分支，后来被发展成为进程代数的语义模型。其基本要素是：被标记事件与事件之间的因果关系、独立关系和矛盾关系。事件是构成时间结构的基本单元。 LTS是进程代数的操作语义模型，它是在通常状态转移图中增加了一个转移动作而得来的。这个动作，我们成为消息，消息的可见性和不可见性，也就是这个动作可不可以被第三方获悉。LTS主要关系的是系统自身发生状态转移时所执行的动作，因此是个基于动作的系统模型。本文所研究的进程是较高抽象层次的进程，与操作系统中的进程有所区别。进程之间交互传递的就是消息，消息可以是动作，动作有可见性和不可见性之分，可见的就是可以被第三方可见，而不可见就是对于第三方保密，如加密行为，交织互模拟。

进程消息交互可见，就是说，进程之间的交互可以被第三方知道，对第三方公开，这样的交互式可见的。而不可见就是不对第三方公开，仅有发生交互的两个进程，没有第三个进程参与，他们之间的消息，结果，......