Compositional binding in network domains

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4085 LNCS, Issue , 2006, Pages 332-347

  Zave, Pamela ^a  

^a AT AND T LABS RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER NETWORKS; COMPUTER SCIENCE; MATHEMATICAL MODELS; PATTERN RECOGNITION;

COMPOSITIONAL BINDING; FORMAL MODEL; NETWORK PROPERTIES;

FORMAL LOGIC;

EID: 33749413242     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11813040_23     Document Type: Conference Paper

References (11)

1. H. Balakrishnan, K. Lakshminarayanan, S. Ratnasamy, S. Shenker, I. Stoica, and M. Walfish. A layered naming architecture for the Internet. In Proceedings of SIGCOMM '04. ACM, August 2004.
2. G. W. Bond, E. Cheung, K. H. Purdy, P. Zave, and J. C. Ramming. An open architecture for next-generation telecommunication services. ACM Transactions on Internet Technology, 4(1):83-123, February 2004.
3. D. Jackson. Software Abstractions: Logic, Language, and Analysis. MIT Press, 2006.
4. M. Jackson and P. Zave. Distributed Feature Composition: A virtual architecture for telecommunications services. IEEE Transactions on Software Engineering, 24(10):831-847, October 1998.
5. E. Lear and R. Droms. What's in a name: Thoughts from the NSRG. IETF Name Space Research Group, work in progress, 2003.
6. M. J. O'Donnell. Separate handles from names on the Internet. Communications of the ACM, 48(12):79-83, December 2005.
7. C. E. Perkins. Mobile IP. IEEE Communications, May 1997.
8. J. Rosenberg, H. Schulzrinne, G. Camarillo, A. Johnston, J. Peterson, R. Sparks, M. Handley, and E. Schooler. SIP: Session Initiation Protocol. IETF Network Working Group Request for Comments 3261, 2002.
9. G. Xie, J. Zhan, D. A. Maltz, H. Zhang, A. Greenberg, G. Hjalmtysson, and J. Rexford. On static reachability analysis of IP networks. In Proceedings of IEEE Infocorn. IEEE, March 2005.
10. P. Zave. Address translation in telecommunication features. ACM Transactions on Software Engineering and Methodology, 13(1):1-36, January 2004.
11. P. Zave. A formal model of addressing for interoperating networks. In Proceedings of the Thirteenth International Symposium of Formal Methods Europe, pages 318-333. Springer-Verlag LNCS 3582, 2005.