Title: complete inference systems for weak bisimulation equivalences in the [pi]-calculus
Author: Lin Huimin
Corresponding Author: Lin, HM (通讯作者), Chinese Acad Sci, Inst Software, Comp Sci Lab, POB 8718, Beijing 100080, Peoples R China
Keyword: mobile processes
; pi-calculus
; bisimulation
; symbolic bisimulation
; proof systems
; process algebra
; MOBILE PROCESSES
Source: Information and Computation
Issued Date: 2003
Volume: 180, Issue: 1, Pages: 40207 Indexed Type: sciencedirect,ei
Department: 1. Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China
Content Type: 期刊论文
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.