| 摘要: |
| 本文提出数据传送进程的符号迁移语义，引入符号互模拟的概念，证明了两个进程在传统意义下互模拟当且仅当它们符号互模拟．由于无穷域上的数据传送进程的传统迁移图是无穷的，而其中相当一部分的符号迁移图是有穷的，文章的结果为在有穷时间和空间内判定这类进程的互模拟关系开辟了可能性． |
| 关键词: 通讯进程，进程代数，互模拟． |
| DOI： |
| 分类号: |
| 基金项目: |
|
| SYMBOLIC BISIMULATION FOR VALUE—PASSING PROCESSES |
|
Lin Huimin
|
| Abstract: |
| A symbolic transitional semantics for value—passing process algebras is proposed and the notion of symbolic bisimulation is introduced．It is proved that two process-es are bisimilar in the traditional sense if and only if they are symbolicaly bisimilar．Since the transition graphs of value—passing processes over infinite data domains are infinite，while the symbolic transition graphs of many such processes are finite，the article'S result makes it possible to decide bisimulation—based equivalences for such these processes in fi-nite amount of time and space． |
| Key words: Communicating processes,process algebra,bisimulation． |
