a predicate spatial logic and model checking for mobile processes

ISCAS OpenIR

	a predicate spatial logic and model checking for mobile processes
	Lin HM
	2005
会议名称	1st International Colloquium on Theoretical Aspects of Computing (ICTAC 2004)
会议录名称	Lecture Notes in Computer Science
页码	36-36
会议日期	SEP 20-24,
会议地点	Guiyang, PEOPLES R CHINA
收录类别	sci ; istp ; ei
出版地	HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
出版者	THEORETICAL ASPECTS OF COMPUTING - ICTAC 2004
ISSN	0302-9743
ISBN	3-540-25304-1
部门归属	Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100864, Peoples R China.
摘要	Mobile processes involve not only in time but also in space. Traditionally model checking has mainly concerned with temporal properties of processes, but recently proposals have been put forwarded to check spatial properties as well. In this talk we shall
关键词	Algorithms Functions Mathematical Models Mobile Computing
主办者	UN Univ, Int Inst Software Technol, Guizhou Acad Sci
语种	英语
WOS记录号	WOS:000229011500004
引用统计
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/12764
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Lin HM. a predicate spatial logic and model checking for mobile processes[C]. HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY:THEORETICAL ASPECTS OF COMPUTING - ICTAC 2004,2005:36-36.