...
机译:兰佩特快速互斥算法的计算机辅助验证,使用有色Petri网和具有对称性的出现图
机译:使用彩色随机Petri网对并发程序进行建模和评估的示例:Lamport的快速互斥算法
机译:基于避免行为死锁发生的快速启发式算法,以最小化Petri网的初始标记
机译:计算机辅助验证(特邀演讲)中与图相关的有效算法
机译:Lamport快速互斥算法的公平和饥饿自由版本
机译:一类图结构上的快速并行算法及其在关系数据库和计算机网络中的应用
机译:具有通用对称性的基于索引的子图匹配算法(ISMAGS):利用对称性实现更快的子图枚举
机译:利用着色petri网和具有对称性的出现图的Lamport快速互斥算法的计算机辅助验证
机译:计算机网络中的互斥算法