...
机译:验证Lycklama-Hadzilacos相互排斥的简化
Department of Computing Science, University of Groningen, P.O. Box 407, 9700 AK Groningen, The Netherlands;
机译:验证Lycklama–Hadzilacos相互排斥的简化
机译:互斥问题基于有界票证的面包店算法的简化
机译:一种简化基于互斥问题的边界罚单的面包店算法
机译:屏障同步:简化,通用化和解决方案,互不排斥
机译:用于崩溃重启共享存储系统的可恢复的互斥算法
机译:贝甲酰胺的甲苯甲蛋白在Hylocereus中的报告并不是很好地证明并不是反驳互斥范式的强烈基础
机译:相互排斥的竞赛:验证和并发复杂性