Testing Congruence for Mobile Processes

• 作 者: 傅育熙
• 机 构: Department of Computer Science, Shanghai Jiaotong University, Shanghai 200030, P.R. China
• 出 处: 计算机科学技术学报(英文版)
• 发表日期: 2002年1期
• 关键词: process calculus mobile process testing equivalence

Testing equivalence on π processes has been studied in literature. The equivalence is not closed under the input prefix operator and is therefore not a congruence relation.This note takes a look at testing congruence on finite π processes. A complete equational system is given for the congruence relation.