David S. Cargo's Firefox Bookmarks

AlterSlash | freshmeat.net | Google | Google News |
Linux Today | Linux Weekly News | Tcl'ers Wiki Changes | Yahoo News

Root : Software : Development Tools : Networking Foundations : Protocol Description Languages
 * Full contents
 * AgenTalk Home Page
 * Analysis of cryptographic protocols
 * Bayfront Technologies, Inc.
 * Bayfront Technologies CAPE Tool FAQ
 * Bayfront Technologies AppNote 5: BCT C code style
 * Design and Validation of Computer Protocols
 * Ethereal: [ethereal-dev] Protocol Description Language
 * Ethereal: [ethereal-dev] Status of Protocol Description Language
 * Murphi description language and automatic verifier
 * freedesktop.org - Software/XCBProtocolLanguage
 * XCB Wiki - XmlXcb
Shortcuts
 * Full contents

Produced using bkmrkconv on Fri Mar 17 09:57:30 2006.