Fault-tolerant hardware configuration management on the multiprocessor system DIRMU 25

This publication has 5 references indexed in Scilit:

• Concepts and Notations for Concurrent Programming
  ACM Computing Surveys, 1983
• Programming in Modula-2
  Published by Springer Nature ,1982
• FTMP—A highly reliable fault-tolerant multiprocess for aircraft
  Proceedings of the IEEE, 1978
• A Graph Model for Fault-Tolerant Computing Systems
  IEEE Transactions on Computers, 1976
• The complexity of theorem-proving procedures
  Published by Association for Computing Machinery (ACM) ,1971