compositional analysis of mobile ip with symbolic transition graphs

ISCAS OpenIR

	compositional analysis of mobile ip with symbolic transition graphs
	Wu P; Zhang DM
	2004
会议名称	16th International Conference on Computer Communication (ICCC 2004)
页码	1481-1488
会议日期	SEP 15-17,
会议地点	Beijing, PEOPLES R CHINA
收录类别	istp
出版地	PO BOX 173 WANSHOU ROAD, BEIJING 100036, PEOPLES R CHINA
出版者	ICCC2004: Proceedings of the 16th International Conference on Computer Communication Vol 1and 2
ISBN	7-121-00308-2
部门归属	Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China.
摘要	The paper presents a compositional framework for modeling network protocols with symbolic transition graphs. The main advantages of the framework are that it can address dynamic network topologies without requiring additional facilities; and i
主办者	Minist Informat Ind, Int Council Comp Commun, China Ctr Informat Ind Dev, China Elect Chamber Commerce, China Comp Soc, China Inst Commun, Chinese Assoc Artificial Intelligence, Beijing Univ Posts &Telecommun, China Fed Informat Promot, Nat Sc
语种	英语
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/13034
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Wu P,Zhang DM. compositional analysis of mobile ip with symbolic transition graphs[C]. PO BOX 173 WANSHOU ROAD, BEIJING 100036, PEOPLES R CHINA:ICCC2004: Proceedings of the 16th International Conference on Computer Communication Vol 1and 2,2004:1481-1488.