Institutional Repository
| compositional analysis of mobile ip with symbolic transition graphs | |
| Wu P; Zhang DM | |
| 2004 | |
| Conference Name | 16th International Conference on Computer Communication (ICCC 2004) |
| Pages | 1481-1488 |
| Conference Date | SEP 15-17, |
| Conference Place | Beijing, PEOPLES R CHINA |
| Indexed Type | istp |
| Publish Place | PO BOX 173 WANSHOU ROAD, BEIJING 100036, PEOPLES R CHINA |
| Publisher | ICCC2004: Proceedings of the 16th International Conference on Computer Communication Vol 1and 2 |
| ISBN | 7-121-00308-2 |
| Department | Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China. |
| English Abstract | 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 |
| Sponsorship | 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 |
| Language | 英语 |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/13034 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation 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. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| ICCC2004-FA3-2.pdf（308KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment