|
|||||
|
|
| 两种死锁分析的逻辑方法 | |
| 引用本文： | 傅建明,韩光鹏.两种死锁分析的逻辑方法[J].武汉大学学报(自然科学版),1999,45(3):291-294. |
| 作者姓名： | 傅建明 韩光鹏 |
| 作者单位： | 武汉大学数学与计算机科学学院 |
| 摘 要： | 从逻辑的角度出发，根据请求模型用谓词逻辑分析死锁，并统一于一个通用的表示中，然后用时序逻辑方法进一步给出了一个更通用的死锁表示，用逻辑方法表示死锁，便于程序安全性验证，最后，把这些方法用于Ａｄａ程序的验证系统中。 |
| 关 键 词： | 安全性 死锁 并行计算 谓词逻辑 时序逻辑 程序 |
| 本文献已被 维普 等数据库收录！ | |