value-passing CCS 传值CCS
value passing 值传递
Value Passing in Value Chain 价值链价值传递
parameter passing by value 按值参数传递
The choice of abstract models for value-passing concurrent systems directly influences the efficiency of model checking.
对于并发传值系统抽象模型的选取直接影响其模型检测的效率。
The main work of the thesis consists of modeling and analysing real-time value-passing systems and real-time mobile systems.
本文的研究工作主要由对实时传值系统和实时移动系统的建模和分析组成。
To model check a value-passing concurrent system, an abstract model must be constructed, and Symbolic Transition Graphs with Assignment is such an abstract model.
对并发传值系统进行模型检测需要建立相应的抽象模型，带赋值的符号迁移图是一种广为使用的抽象模型。
应用推荐