School of Computing, Dublin City University, Dublin 9, Ireland;
communicating sequential processes; denotational models; nondeterminacy;
机译:代数结构的有色Petri网建模顺序过程
机译:使用通信顺序过程进行多处理器仿真
机译:通信顺序过程以实现分布式约束满足
机译:通信序过程的代数的格理论模型
机译:一个知识产权核心,用于支持顺序流程的通信。
机译:威斯康星州卡排序任务的顺序学习模型:评估物质依赖性个人的过程
机译:使用通信顺序过程对流认证协议进行建模和验证
机译:Csp的多处理器实现(通信顺序进程)