Confined-π演算中的等价关系及船舶安全信息流分析
Confined-π演算中的等价关系及船舶安全信息流分析Confined-π演算 (Confined-pi calculus) 是一种基于π演算 (π calculus) 的进一步扩展,可以用于描述系
Confined-π演算中的等价关系及船舶安全信息流分析