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.