Microsoft Research;
State University of Campinas, Brazil;
Microsoft Research;
concurrency; parallelism; transactions; isolation; revisions;
机译:具有修订和隔离类型的并发编程
机译:赠与和原子:使用隔离,委托和分组的并发编程
机译:ISOLATOR:动态确保并行程序中的隔离
机译:使用修订和隔离类型并发编程
机译:顺序和并发编程中用于安全资源共享的类型
机译:炎症和阿尔茨海默氏病同时发生的细胞类型特异性分离和小鼠脑图谱分析
机译:Steelcore:有效的依赖性键入程序的可扩展并发分离逻辑
机译:废物隔离试验工厂实验 - 废物表征计划的质量保证计划计划。修订版1。