School of Computer Science and Engineering, Nanyang Technological University, Singapore, Singapore;
School of Computer Science and Engineering, Beihang University, Beijing, China;
School of Computer Science and Engineering, Nanyang Technological University, Singapore, Singapore;
School of Computer Science and Engineering, Nanyang Technological University, Singapore, Singapore;
Research School of Computer Science, Australian National University, Canberra, Australia;
School of Computer Science and Engineering, Nanyang Technological University, Singapore, Singapore;
Singapore University of Technology and Design, Singapore, Singapore;
机译:视图:并行程序的组成推理
机译:多线程面向对象程序的共享变量并发分析
机译:并发概率系统在组合推理中利用加权自动机
机译:共享变量并发程序的组成推理
机译:PaniniJ:在Java中添加了胶囊编程抽象,为并发程序设计中的模块化推理提供语言支持。
机译:幼儿期的成分推理
机译:共享变量并发程序的组合推理
机译:寻求组合性:对基于断言的并发程序证明系统的调查。第1部分。基于共享变量的并发性