inference systems for observation equivalences in the pi-calculus

Autoria(s): Lin Huimin
Data(s)

1999
Identificador

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

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

Lin Huimin.inference systems for observation equivalences in the pi-calculus,Science in China Series E-technological Sciences,1999,42(6):657-669
Palavras-Chave #inference system #equivalence #pi-calculus #MOBILE PROCESSES
Tipo

期刊论文
Acesso ao item digital