Boston University;
机译:基于类型的共享内存并发安全资源释放
机译:类型安全的并发资源共享
机译:具有共享资源网的顺序系统中基于混合整数编程的通用活动性测试
机译:活动性理论的扩展,用于并发顺序过程竞争共享资源
机译:提高共享内存并发程序的质量
机译:支持数学论证和证明技能:比较顺序和并发教学方法的效力以支持基于资源的认知技能
机译:共享资源的并行顺序过程竞争性活动理论的扩展
机译:寻求组合性:对基于断言的并发程序证明系统的调查。第1部分。基于共享变量的并发性