Simulation; Computer architectures; Multiprocessor systems; Communicating sequential processes; Models of computation;
机译:使用通信顺序过程进行多处理器仿真
机译:通信顺序过程以实现分布式约束满足
机译:通信顺序过程的单例故障语义
机译:使用通信顺序流程的多处理器仿真
机译:一个知识产权核心,用于支持顺序流程的通信。
机译:不可逆沉积过程的扩展随机顺序吸附模型:从模拟到实验
机译:在多处理器网络上放置通信进程
机译:Csp的多处理器实现(通信顺序进程)