没有合适的资源？快使用搜索试试~ 我知道了~

文库首页开发技术其它摘要—在并发系统建模中，通常在系统的特定粒度级别上考虑公平性约束。我们描述了一种在各种公平性下指定和检查Needham Schroeder协议（NS Protocol）的形式方法。

摘要—在并发系统建模中，通常在系统的特定粒度级别上考虑公平性约束。我们描述了一种在各种公平性下指定和检查Needham Schr...

0 下载量 112 浏览量 2021-04-05 16:56:47 上传评论收藏 626KB PDF 举报

温馨提示

试读

9页

摘要—在并发系统建模中，通常在系统的特定粒度级别上考虑公平性约束。我们描述了一种在各种公平性下指定和检查Needham Schroeder协议（NS Protocol）的形式方法。