观察等价相关论文
标记迁移系统是一种在计算机辅助设计和验证中得到广泛使用的形式模型.当系统中的模块比较多时,系统的整体模型有可能出现状态空间......
为了对自动信任协商（ATN）的安全性进行形式化分析与验证，文中借鉴安全协议的形式化分析方法，提出一种用进程代数Applied7c演算对ATN建......
CCS(A Calculus of Communicating System)是由R.Milner在1980年提出的用以描述并发交互系统的抽象计算模型。现代最著名的并发计......
