Dept. of Computer Science, Queen Mary, Univ. of London;
机译:并发理论:用于计算非定时和定时并发系统的计算和自动机
机译:异步反射:多媒体镜系统设计的理论与实践
机译:非交换时空的时间顺序摄动理论:基本规则
机译:减少变量的基本理论Fortwo定时异步π-Calculi
机译:还原域在局部域上的表示理论中的水平一致。
机译:时间分辨光谱和密度泛函理论研究中性和碱性水溶液中双功能甲硫醌的光生化
机译:具有局部性和无名匹配的异步结石的五月测试理论
机译:基于线性同余理论的时频Hop编码