computing bisimulations for finite-control pi-calculus

	computing bisimulations for finite-control pi-calculus
	Lin Huimin; Lin, HM (通讯作者), Chinese Acad Sci, Inst Software, Comp Sci Lab, POB 8718, Beijing 100080, Peoples R China
	2000
Source	Journal of Computer Science and Technology
Volume	15 Issue:1 Pages:40187
Indexed Type	sci
Keyword	Mobile Processes Pi-calculus Bisimulation Decision Procedure
Department	计算机科学国家重点实验室
WOS ID	WOS:000089936500001
Citation statistics
Content Type	期刊论文
URI	http://ir.iscas.ac.cn/handle/311060/4496
Collection	基础软件与系统重点实验室
Corresponding Author	Lin, HM (通讯作者), Chinese Acad Sci, Inst Software, Comp Sci Lab, POB 8718, Beijing 100080, Peoples R China
Recommended Citation GB/T 7714	Lin Huimin,Lin, HM . computing bisimulations for finite-control pi-calculus[J]. Journal of Computer Science and Technology,2000,15(1):40187.
APA	Lin Huimin,&Lin, HM .(2000).computing bisimulations for finite-control pi-calculus.Journal of Computer Science and Technology,15(1),40187.
MLA	Lin Huimin,et al."computing bisimulations for finite-control pi-calculus".Journal of Computer Science and Technology 15.1(2000):40187.

Related Services

Bookmark

Google Scholar

Similar articles in Bing Scholar

Terms of Use

No data!

Social Bookmark/Share

All comments (0)

No comment.

The comment function is only available to registered usersLog In

If you have any objections to this item, please fill out the form below and the administrator will contact you as soon as possible.
Content:
Email：	*
Institution:
Verification Code:	Refresh

Any comments and suggestions are welcomed.
Title:	*
Content:
Email：	*
Verification Code:	Refresh

中国科学院软件研究所机构知识库