tree process calculus

Autoria(s): Mingren Chai; Nan Qu; Jiang Ying
Data(s)

2008
Identificador

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

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

Mingren Chai; Nan Qu; Jiang Ying.tree process calculus,Electronic Notes in Theoretical Computer Science,2008,212():269-284
Tipo

期刊论文
Acesso ao item digital