complete inference systems for weak bisimulation equivalences in the [pi]-calculus

Autoria(s): Lin Huimin
Data(s)

2003
Identificador

http://ir.iscas.ac.cn/handle/311060/3198

http://www.irgrid.ac.cn/handle/1471x/66790
Fonte

Lin Huimin.complete inference systems for weak bisimulation equivalences in the [pi]-calculus,Information and Computation,2003,180(1):40207
Palavras-Chave #mobile processes #pi-calculus #bisimulation #symbolic bisimulation #proof systems #process algebra #MOBILE PROCESSES
Tipo

期刊论文
Acesso ao item digital