Department of Computing, University of Surrey, Guildford, Surrey GU2 7XH, UK;
CSP; theorem prover; liveness; deadlock; determinism;
机译:定时故障-CSP的稳定性模型
机译:CSP和PV能源系统的光学污染损失的比较建模
机译:评估时间分辨率对杂交CSP-PV工厂建模的影响:智利研究案例
机译:CSP稳定故障模型的完整公理语义
机译:通过数值模型中的释放能量计算来分析不稳定矿井破坏的可能性。
机译:将心脏脉冲模型嵌入心脏衰竭跟踪心血管调节的综合模型
机译:在pvs中嵌入csp的稳定故障模型
机译:Csp的定时故障 - 稳定性模型