机译:对并发程序和线程系统的不干扰
机译:使用线程控制分析跟踪Java线程中的运行时并发依赖性
机译:勘误为“使用线程控制配置文件跟踪Java线程中的运行时并发依赖性”
机译:完善的多线程Java程序共享变量并发模型
机译:基于合同的多线程Java程序同步。
机译:Monte-Carlo Metropolis Ising模型的螺纹Java并发实现
机译:多线程Java程序的声音和完整共享变量并发模型
机译:FlashLight:并发Java程序中共享状态,竞争条件和锁定模型的动态检测器