Inference systems for observation equivalences in the π-calculus

Autoria(s): Lin Huimin
Data(s)

2003
Identificador

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

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

Lin Huimin.Inference systems for observation equivalences in the π-calculus,Science in China Series E: Technological Sciences,2003,42(6):657-669
Tipo

期刊论文
Acesso ao item digital