区间值进程演算的可加模型

进程演算是研究并行计算和分布式计算的一个重要语义模型．引入区间值进程演算的可加模型（简称AICCS），以解决在并发通讯系统中产生的不确定性．在该模型中，前缀进程、并行进程以及和进程都赋以区间值．作者给出了AICCS的语法及可加的操作语义，引入了进程的量化这一概念，在此基础上引入强互模拟和μ-强互模拟的概念，并且讨论了其相关性质．

Additive models of fuzzy interval- valued processes

Process calculus is one of important models to simulate parallel computation and distributed system. The aim of this paper is to introduce a new model called as additive fuzzy interval - valued process algebra (AICCS,for short) to solve the problem of nondeterministic choices arises in concurrency and communication systems. This model is designed in such a way that an interval value is assigned to the action of a prefix and an interval value distribution to components of a parallel composition and a summation based on the meta logic of fuzzy interval logic. The authors give the syntax of AICCS and its operational semantics which focuses on the degree of ambiguity. The addition appears in the rules about the both summation and relabeling. Then, the authors introduce the notion of quantization of processes mapping the set of interval - valued processes into the set of four - valued processes.