Composite protocols for innovative active services

Proceedings - DARPA Active Networks Conference and Exposition, DANCE 2002

Volumn , Issue , 2002, Pages 157-164

  Minden, G ^a   Komp, E ^a   Ganje, S ^a   Kannan, A ^a   Subramaniam, S ^a   Tan, S ^a   Vallabhaneni, S ^a   Evans, J ^a  

^a University of Kansas   (United States)

Author keywords

composite protocols; formal analysis of protocols; Network protocols

Indexed keywords

ACTIVE NETWORKS; LOGIC CIRCUITS;

ACTIVE SERVICE; AUTOMATIC ANALYSIS; COMPOSITION OF PROTOCOL; FORMAL ANALYSIS; FUNCTION MODULE; MEMORY OPERATIONS; MODULAR APPROACH; PROTOCOL COMPONENTS;

NETWORK PROTOCOLS;

EID: 37549028540     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DANCE.2002.1003490     Document Type: Conference Paper

References (10)

1. Yuri Gurevich, "Sequential Abstract State Machines Capture Sequential Algorithms," ACM Transactions on Computational Logic, vol. 1, no. 1, July 2000, 77-111.
2. Gary T. Wong, Matti A. Hiltunen, and Richard D. Schlichting. A Configurable and Extensible Transport Protocol. Proceedings of the 20th Annual Conference of IEEE Communications and Computer Societies (INFOCOM 2001), Anchorage, Alaska, (April 2001), pages 319-328.
3. Hayden, Mark. The Ensemble System. Ph.D. Dissertation. Cornell Computer Science Department, January 1998.
4. Robbert van Renesse, Ken Birman, Roy Friedman, Mark Hayden and David Karr. "A Framework for Protocol Composition in Horus." Proceedings of the 1995 Principles of Distributed Computing, August 1995.
5. Xavier Leroy. The Objective Caml System Release 1.05. INRIA, France, May 1997.
6. 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, Jan. 1991.
7. Stefan Boecking, Vera Seidel, Per Vindeby, "CHANNELS: A Run-Time System for Multimedia Protocols," ICCCN '95, Las Vegas, NV, September 1995.
8. Burkhard Stiller, "CogPiT-Configuration of Protocols in TIP," Computer Laboratory Technical Report TR368, University of Cambridge, Cambridge, June 1995.
9. Sushil da Silva, Danilo Florissi, Yechiam Yemini, "Composing Active Services in Netscript," Position Paper, DARPA Active Networks Workshop, Tucson, AZ, March 1998.
10. Sushil da Silva, "Programming in the NetScript Toolkit," September 1998, http://www.cs.columbia.edu/~dasilva/pubs/netscript-0.10/doc/tutorial.html.