An axiomatic basis for communication

ACM SIGCOMM 2007: Conference on Computer Communications

Volumn , Issue , 2007, Pages 217-228

  Karsten, Martin ^a   Keshav, S ^a   Prasad, Sanjiva ^b   Beg, Mirzam ^a  

^a UNIVERSITY OF WATERLOO   (Canada)

^b INDIAN INSTITUTE OF TECHNOLOGY DELHI   (India)

Author keywords

Addressing; Concepts; Definitions; Naming; Protocols; Routing

Indexed keywords

AXIOMATIC FORMULATION; COMMUNICATION SERVICES; RUNTIME ENVIRONMENT;

AD HOC NETWORKS; COMPUTATIONAL COMPLEXITY; INTERNET PROTOCOLS; NETWORK ROUTING; PROBLEM SOLVING; SOFTWARE PROTOTYPING; WEB SERVICES;

TELECOMMUNICATION NETWORKS;

EID: 36949009832     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1282380.1282405     Document Type: Conference Paper

References (25)

1. B. Ahlgren, M. Brunner, L. Eggert, R. Hancock, and S. Schmid. Invariants: A New Design Methodology for Network Architectures. In Proceedings of the ACM SIGCOMM Workshop on Future Directions in Network Architecture, Portland, OR, USA, pages 65-70, August 2004.
2. B. Ahlgren, L. Eggert, B. Ohlman, J. Rajahalme, and A. Schieder. Names, Addresses and Identities in Ambient Networks. In Proceedings of the 1st ACM Workshop on Dynamic Interconnection of Networks, Cologne, Germany, pages 33-37, September 2005.
3. 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, Portland, OR, USA, pages 343-352, August 2004.
4. G. Chandranmenon and G. Varghese. Trading Packet Headers for Packet Processing. IEEE/ACM Transactions on Networking, 4(2): 141-152, 1996.
5. D. Clark. The Design Philosophy of the DARPA Internet Protocols. In Proceedings of SIGCOMM '88, Stanford, CA, USA, pages 106-114, August 1988.
6. K. Fall. A Delay-Tolerant Network Architecture for Challenged Internets. In Proceedings of SIGCOMM '03, Karlsruhe, Germany, pages 27-34, August 2003.
7. Mohamed G. Gouda. Elements of network protocol design. John Wiley & Sons, Inc., New York, NY, USA, 1998.
8. T. G. Griffin and J. L. Sobrinho. Metarouting. In Proceedings of SIGCOMM '05, Philadelphia, PA, USA, pages 1-12, August 2005.
9. M. Gritter and D. R. Cheriton. An Architecture for Content Routing Support in the Internet. In Proceedings of USITS 2001, San Francisco, CA, USA, pages 37-48, March 2001.
10. C. A. R. Hoare. An Axiomatic Basis for Computer Programming. Communications of the ACM, 12(10):576-580, October 1969.
11. N.C. Hutchinson and L.L. Peterson. The x-Kernel: An Architecture for Implementing Network Protocols. IEEE Transactions on Software Engineering, 17(1):64-76, January 1991.
12. D.B. Johnson and A. Maltz. Dynamic Source Routing in Ad Hoc Wireless Networks. In Tomasz Imielinski and Hank Korth, editors Mobile Computing, pages 153-181. Kluwer Academic Publishers, 1996. Chapter 5.
13. M. Karsten, S. Keshav, and S. Prasad. An Axiomatic Basis for Communication. In 5th ACM SIGCOMM Workshop on Hot Topics in Networks (HotNets V), Irvine, CA, USA.
14. E. Kohler, R. Monis, B. Chen, J. Jannotti, and M.E Kaashoek. The Click Modular Router. ACM Transactions on Computer Systems (TOCS), 18(3):263-297, August 2000.
15. X. Liu, C. Kreitz, R. Renesse, J. Hickey, M. Hayden, K. Birman, and R. Constable. Building Reliable, High-Performance Communication Systems from Components. In Proceedings of SOSP1999, Kiawah Island, SC, USA, pages 80-92, December 1999.
16. B. Loo, J. Hellerstein, I. Stoica, and R. Ramakrishnan. Declarative Routing: Extensible Routing with Declarative Queries. In Proceedings of SIGCOMM '05, Philadelphia, PA, USA, pages 289-300, August 2005.
17. C. Partridge, T. Mendez, and W. Milliken. RFC 1546 - Host Anycasting Service, November 1993.
18. J. H. Saltzer. Naming and Binding of Objects. Lecture Notes in Computer Science, 60:99-208, 1978.
19. M. Schroeder, A. Birrell, M. Burrows, H. Murray, R. Needham, T. Rodeheffer, E. Satterthwaite, and C. Thacker. Autonet: a High-speed, Self-configuring Local Area Network Using Point-to-point Links. IEEE Journal on Selected Areas in Communications, 9(8): 1318-1335, 1991.
20. J. Scott, P. Hui, J. Crowcroft, and C. Diot. Haggle: A Networking Architecture Designed Around Mobile Users. In Proceedings of the 3rd Annual Conference on Wireless On demand Network Systems and Services (WONS 2006), Les Mnuires, France, January 2006.
21. I. Stoica, D. Adkins, S. Zhuang, S. Shenker, and S. Surana. Internet Indirection Infrastructure. IEEE/ACM Transactions on Networking, 12(2):205-218, April 2004.
22. I. Stoica, R. Moms, D. Liben-Nowell, D. Karger, M. F. Kaashoek, F. Dabek, and H. Balakrishnan. Chord: A Scalable Peer-to-peer Lookup Service for Internet Applications. IEEE Transactions on Networking, 11:17-32, February 2003.
23. F. Tip. A Survey of Program Slicing Techniques. Centrum voor Wiskunde en Informatica, 1994.
24. Y. Wang, J. Touch, and J. Silvester. A Unified Model for End Point Resolution and Domain Conversion for Multi-Hop, Multi-Layer Communication. Technical Report ISI-TR-590, USC/ISI, June 2004.
25. P. Zave. Compositional Binding in Network Domains. In Proceedings of the 14th International Symposium on Formal Methods, Hamilton, Canada, pages 332-347, August 2006.