compositional modelling and verification of ipv6 mobility

ISCAS OpenIR

	compositional modelling and verification of ipv6 mobility
	Wu P; Zhang DM
	2005
会议名称	25th International Conference on Formal Techniques for Networked and Distributed Systems
会议录名称	Formal Techniques for Networked and Distributed Systems - FORTE 2005
页码	553-556
会议日期	OCT 02-05,
会议地点	Taipei, TAIWAN
收录类别	sci ; istp ; springer
出版地	HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
出版者	FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2005
ISSN	0302-9743
ISBN	3-540-29189-X
部门归属	Chinese Acad Sci, Inst Software, Comp Sci Lab, Grad Sch, Beijing 100080, Peoples R China. Beijing Univ Posts & Telecommun, Sch Comp Sci & Technol, Beijing 100876, Peoples R China.
摘要	An enhanced compositional framework is presented for modelling network protocols with symbolic transition graphs. In the context of the modelling framework, a sufficient condition for deadlock freedom of network protocols, namely interoperabil
主办者	IFIP Working Grp 6 1
语种	英语
WOS记录号	WOS:000233597000044
引用统计
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/12672
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Wu P,Zhang DM. compositional modelling and verification of ipv6 mobility[C]. HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY:FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2005,2005:553-556.