PLAN

This publication has 9 references indexed in Scilit:

• ANTS: a toolkit for building and dynamically deploying network protocols
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Active bridging
  Published by Association for Computing Machinery (ACM) ,1997
• Proof-carrying code
  Published by Association for Computing Machinery (ACM) ,1997
• Theorem Proving in Higher Order Logics
  Published by Springer Nature ,1997
• A survey of active network research
  IEEE Communications Magazine, 1997
• Safe kernel extensions without run-time checking
  Published by Association for Computing Machinery (ACM) ,1996
• Optimizing ML with run-time code generation
  Published by Association for Computing Machinery (ACM) ,1996
• Supporting real-time applications in an Integrated Services Packet Network
  Published by Association for Computing Machinery (ACM) ,1992
• Internet Protocol
  Published by RFC Editor ,1981