Imperial College;
IT University of Copenhagen;
Microsoft Research;
University of Oxford;
concurrency; axiomatic semantics; compositional reasoning;
机译:视图:并行程序的组成推理
机译:并发概率系统在组合推理中利用加权自动机
机译:基于通道的并发中显式资源管理的组合推理
机译:视图:并发程序的组成推理
机译:PaniniJ:在Java中添加了胶囊编程抽象,为并发程序设计中的模块化推理提供语言支持。
机译:12个国家学校供餐计划的营养指南和菜单组成的回顾
机译:视图:并发程序的组合推理
机译:寻求组合性:对基于断言的并发程序证明系统的调查。第1部分。基于共享变量的并发性