Concurrent computing; Iris; Privacy; Computer languages; Automation; Buildings; Manuals;
机译:细粒度并发程序的机械化验证
机译:视图:并行程序的组成推理
机译:并发程序的组成信息流安全性
机译:通过分离和分帧对并发程序进行成分不干扰
机译:大型热带河流系统中细粒风化产物的组成,以及在温带河口中细粒沉积物中金属的运输。
机译:组合放松并发
机译:细粒度并发程序的机械化验证
机译:寻求组合性:对基于断言的并发程序证明系统的调查。第1部分。基于共享变量的并发性