规约语义相关论文
进程代数作为描述和分析并发与分布式系统的重要工具之一,是并发理论的主流研究方向。互模拟是进程代数的核心概念之一,用来刻画进......
为π演算建立具有安全级别的简单类型系统,并证明该类型系统在规约语义下的类型可靠性.此类型系统使得π演算成为安全系统、安全协......