题名: complete inference systems for weak bisimulation equivalences in the [pi]-calculus
作者: Lin Huimin
通讯作者: Lin, HM (通讯作者), Chinese Acad Sci, Inst Software, Comp Sci Lab, POB 8718, Beijing 100080, Peoples R China
关键词: mobile processes
; pi-calculus
; bisimulation
; symbolic bisimulation
; proof systems
; process algebra
; MOBILE PROCESSES
刊名: Information and Computation
发表日期: 2003
卷: 180, 期: 1, 页: 40207 收录类别: sciencedirect,ei
部门归属: 1. Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China
内容类型: 期刊论文
URI标识: http://ir.iscas.ac.cn/handle/311060/3198
Appears in Collections: 计算机科学国家重点实验室 _期刊论文
There are no files associated with this item.
Recommended Citation:
Lin Huimin. complete inference systems for weak bisimulation equivalences in the [pi]-calculus[J]. Information and Computation,2003-01-01,180(1):40207.
