1. D. S. Alexander 1997 http://www.cis.upenn.edu/∼switchware/ANEP/
2. The Switchware active network architecture;Alexander;IEEE Communications Magazine,1998
3. A. Azcorra M. Calderon M. Sedano A strategy for comparing reliable multicast protocols applied to RMNP and CTES IEEE Conference on Protocols for Multimedia Systems-Multimedia Networking (MmNet'97) 1997
4. Verisim: Formal analysis of network simulations;Bhargavan;IEEE Transactions on Software Engineering,2002
5. S. Bhattacharjee K. Calvert E. Zegura Reasoning about active network protocols IEEE ICNP'98 1998