controlling process modularity in mobile computing

	controlling process modularity in mobile computing
	Kitamura Takashi; Lin Huimin
	2007
会议名称	4th International Colloquium on Theoretical Aspects of Computing (ICTAC 2007)
会议录名称	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
页码	246-259
会议日期	SEP 26-28,
会议地点	Macao, PEOPLES R CHINA
出版地	HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
出版者	Theoretical Aspects of Computing - ICTAC 2007, Proceedings
ISSN	0302-9743
ISBN	978-3-540-75290-5
部门归属	Chinese Acad Sci, Inst Software, Beijing 100864, Peoples R China.
摘要	A variant of pi-calculus which can flexibly and dynamically control process modularity is presented. The calculus is equipped with a two level structure to represent process distribution and mobility over flat locations. It provides a suitable
关键词	Mobile Computing Process Modularity Bisimulation-preorder Interaction-costs
主办者	Formal Methods Europe, Macao Polytech Inst, United Natl Univ
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/11126
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	Kitamura Takashi,Lin Huimin. controlling process modularity in mobile computing[C]. HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY:Theoretical Aspects of Computing - ICTAC 2007, Proceedings,2007:246-259.