Sequential abstract-state machines capture sequential algorithms
ACM Transactions on Computational Logic (TOCL)
Composite Protocols for Innovative Active Services
DANCE '02 Proceedings of the 2002 DARPA Active Networks Conference and Exposition
The ensemble system
Building a reliable multicast service based on composite protocols for active networks
IWAN'04 Proceedings of the 6th IFIP TC6 international working conference on Active networks
A survey of active network research
IEEE Communications Magazine
Building a reliable multicast service based on composite protocols for active networks
IWAN'04 Proceedings of the 6th IFIP TC6 international working conference on Active networks
Hi-index | 0.00 |
Active Networking embodies rapid development and deployment of new services. A network service typically consists of two or more cooperating protocols. In this paper, we describe a case study applying a composite protocol framework to developing a multicast network service. The composite protocol framework provides a rigorous mechanism to check protocol behavior before deployment. Our multicast serviced incorporates protocols for multicast routing, creation of spanning trees, reliable replication of multicast data and joining/leaving multicast groups. These protocols are built from re-usable components and communicate by means of global memory.