A Tool for Parallel Distributed Reasoning about Computing Networks. - Scott Musman; F. Duncan (AAAI Fall Symposium: Regarding the Intelligence in Distributed Intelligent Systems, 2007)