computing bisimulations for finite-control pi-calculus

Autoria(s): Lin Huimin
Data(s)

2000
Identificador

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

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

Lin Huimin.computing bisimulations for finite-control pi-calculus,Journal of Computer Science and Technology,2000,15(1):40187
Palavras-Chave #mobile processes #pi-calculus #bisimulation #decision procedure
Tipo

期刊论文
Acesso ao item digital