towards a theory of bisimulation for the higher-order process calculi

Autoria(s): Li Yongjian; Xin-Xin Liu
Data(s)

2004
Identificador

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

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

Li Yongjian; Xin-Xin Liu.towards a theory of bisimulation for the higher-order process calculi,Journal of Computer Science and Technology,2004,19(3):352-363
Tipo

期刊论文
Acesso ao item digital