标号语义操作规则相关硕士博士期刊学术论文 - 搜论网

标号语义操作规则相关论文

基于π-演算的Petri网和密码协议的形式化分析

并发理论一直是计算机科学中最富有挑战性的一个研究方向之一,至今,已发展出了各种并发理论的分支,如:Petri网、CCS(Communication......

学位

Petri网 π-演算 π-网标号语义操作规则强互模拟密码协议鉴别安全观测等价

看过本文同时还关注