2000 DARPA Nuprl Spinglass: Assuring the Integrity of Highly Decentralized Communications Systems
1999 DARPA Interoperability Summary: Formal Methods for Software Evolution
1997 DARPA Summary Report
Ensemble Groupware System
Automata Library
Return to Main Index
