REFERENCES
- Abbott , R. J. 1990 . Resourceful systems for fault tolerance, reliability, and safety . ACM Computing Surveys 22 ( l ): 35 – 68 .
- Allemang , D. T. 1990 . Understanding programs as devices . Ph.D. dissertation , The Ohio State University .
- Allemang , D. T. 1991 . Functional representation and program debugging . In Proceedings of the 6th knowledge-based software engineering conference , Syracuse , New York , Los Alamitos, CA IEEE Computer Society Press .
- Berkowitz , G. M. , Fuhrer , P. T. , Gray , B. E. , Johnston , A. R. , and McElvany , G. L. 1991 . A nodal operations manager for SONET OAM&P . In Integrated network management, II , eds. I. Krishnan and W. Zimmer , pp. 403 – 411 , Amsterdam Elsevier Science Publishers .
- Crow , J. , and Rushby , J. 1991 . Model-based reconfiguration Toward an integration with diagnosis . Proceedings of AAAI-91 . Anaheim , California , pp. 836 – 841 .
- Friedrich , G. , and Nejdl , W. 1992 . Choosing observations and actions in model-based diagnosis/repair systems . Working notes of the 3rd international workshop on principles of diagnosis , Rosario , Washington , pp. 76 – 85 .
- Friedrich , G. , Gottlob , G. , and Nejdl , W. 1992 . Formalizing the repair process . Proceedings of the 10th ECAI , Vienna , pp. 709 – 713 .
- Halpern , J.Y. 1987 . Using reasoning about knowledge to analyze distributed systems . Annual Review ofComputer Science , 2 37 – 68 .
- Halpern , J. Y. , Moses , Y. 1990 . Knowledge and common knowledge in a distributed environment . Journal of the ACM 37 ( 3 ) 549 – 587 .
- Lamport , L. and Lynch , N. 1990 . Distributed computing Models and methods . In Formal models and semantics, Vol.B of Handbook of theoretical computer science , ed. J. Van Leeuwen, chap. 18 , Amsterdam Elsevier/MIT Press .
- Milner , R. 1990 . Operational and algebraic semantics of concurrent processes . In Formal models and semantics, Vol. B of Handbook oftheoretical computer science , ed. J. Van Leeuwen, chap. 19 . city Elsevier/MIT Press .
- Lamport , L. and Lynch , N. 1990 . Distributed computing Models and methods . In Formal models and semantics, Vol.B of Handbook of theoretical computer science , ed. J. Van Leeuwen, chap. 18 , Amsterdam Elsevier/MIT Press .
- Milner , R. 1990 . Operational and algebraic semantics of concurrent processes . In Formal models and semantics, Vol. B of Handbook oftheoretical computer science , ed. J. Van Leeuwen, chap. 19 . city Elsevier/MIT Press .
- Sembugamoorthy , V. , and Chandrasekaran , B. 1986 . Functional representation of devices and compilation of diagnostic problem-solving systems . In Experience, memory and reasoning , eds. J. Kolodner and C. Riesbeck , pp. 47 – 73 . Hillsdale , NJ Lawrence Erlbaum .
- Stroulia , E. , and Goel , A. 1993 . Using functional models of problem solving to learn from failure . Working notes of the AAJ-93 workshop on reasoning about function , Washington , DC , July 1993 , pp. 153 – 163 .
- Sun , Y. , and Weld , D. S. 1993 . A framework for model-based repair . Proceedings ofAAAI-93 , Washington , DC , July 1993 , pp. 182 – 187 .
- Umeda , Y. , and Tomiyama , T. 1993 . A CAD for functional design . Working notes of the AAAl-93 workshop on reasoning about function , Washington , DC , July 1993, pp. 172 – 179 .
- Umeda , Y. , Tomiyama , T. , and Yoshikawa , H. 1992 . A design methodology for a self-maintenance machine based on functional redundancy . In Design theory and methodology DTM'92 , pp. 11 – 18 . New York ASME .