a predicate spatial logic for mobile processes

	a predicate spatial logic for mobile processes
	Lin Huimin; Lin, HM (通讯作者), Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China
	2004
Source	Science in China Series F-information Sciences
Volume	47 Issue:3 Pages:394-408
Indexed Type	sci
Keyword	Modal Logic Predicate Mu-calculus Model Checking Mobile Processes Asynchronous Pi-calculus
Department	计算机科学国家重点实验室
WOS ID	WOS:000222902800011
Citation statistics
Content Type	期刊论文
URI	http://ir.iscas.ac.cn/handle/311060/4492
Collection	基础软件与系统重点实验室
Corresponding Author	Lin, HM (通讯作者), Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China
Recommended Citation GB/T 7714	Lin Huimin,Lin, HM . a predicate spatial logic for mobile processes[J]. Science in China Series F-information Sciences,2004,47(3):394-408.
APA	Lin Huimin,&Lin, HM .(2004).a predicate spatial logic for mobile processes.Science in China Series F-information Sciences,47(3),394-408.
MLA	Lin Huimin,et al."a predicate spatial logic for mobile processes".Science in China Series F-information Sciences 47.3(2004):394-408.

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

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