递归数据传送进程的证明系统

---

Autoria(s): 林惠民

Data(s)	1996
Identificador	http://ir.iscas.ac.cn/handle/311060/4504 http://www.irgrid.ac.cn/handle/1471x/66888
Idioma(s)	中文
Fonte	林惠民.递归数据传送进程的证明系统,计算机学报,1996,19(11):854
Palavras-Chave	#数据传 #送进程 #互模拟 #递归 #唯一不动点归纳法
Tipo	期刊论文