中国科学院软件研究所机构知识库(ISCAS OpenIR): Search Results

Item hits: (Results 1-7 of 7)

Items/Page: Sort:
	an intuitive formal proof for deadline driven scheduler [期刊论文] Journal of Computer Science and Technology, 2008-01-01, 卷号: 16, 期号: 2, 页码: 146-158 Zhan Naijun \|
	weakly distributive domains (ii) [期刊论文] Frontiers of Computer Science in China, 2007-01-01, 卷号: 1, 期号: 4, 页码: 373-384 Jiang Ying; Guo-Qiang Zhang \|
	towards a theory of bisimulation for the higher-order process calculi [期刊论文] Journal of Computer Science and Technology, 2004-01-01, 卷号: 19, 期号: 3, 页码: 352-363 Li Yongjian; Xin-Xin Liu \|
	linear algorithm for lexicographic enumeration of cfg parse trees [期刊论文] Science in China Series F: Information Sciences, 2004-01-01, 卷号: 52, 期号: 7, 页码: 1177-1202 Dong Yunmei \|
	on decidability and model checking for a first order modal logic for value-passing processes [期刊论文] Science in China Series F: Information Sciences, 2003-01-01, 卷号: 46, 期号: 1, 页码: 45-59 Rui Xue; Lin Huimin \|
	Inference systems for observation equivalences in the π-calculus [期刊论文] Science in China Series E: Technological Sciences, 2003-01-01, 卷号: 42, 期号: 6, 页码: 657-669 Lin Huimin
	Consistency argument and classification problem in λ-calculus [期刊论文] Science in China Series E: Technological Sciences, 1999-01-01, 卷号: 42, 期号: 5, 页码: 502-506 Ju Wang; Xishun Zhao; Qieyuan Huang; Jiang Ying \|


Email:
Passwd
验证:
	换一张
Have you forgotten your password? Stay signed in Log In