###
DOI:
Journal of Software:1995.6(zk):1-9

数据传送进程的符号互模拟*
林惠民
(中国科学院软件研究所,北京100080)
SYMBOLIC BISIMULATION FOR VALUE—PASSING PROCESSES
Lin Huimin
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2343   Download 2455
Received:August 12, 1993    Revised:December 18, 1993
> 中文摘要: 本文提出数据传送进程的符号迁移语义,引入符号互模拟的概念,证明了两个进程在传统意义下互模拟当且仅当它们符号互模拟.由于无穷域上的数据传送进程的传统迁移图是无穷的,而其中相当一部分的符号迁移图是有穷的,文章的结果为在有穷时间和空间内判定这类进程的互模拟关系开辟了可能性.
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.
文章编号:     中图分类号:    文献标志码:
基金项目:
Foundation items:
Reference text:

林惠民.数据传送进程的符号互模拟*.软件学报,1995,6(zk):1-9

Lin Huimin.SYMBOLIC BISIMULATION FOR VALUE—PASSING PROCESSES.Journal of Software,1995,6(zk):1-9