Reliable computing systems

This publication has 20 references indexed in Scilit:

• A program structure for error detection and recovery
  Published by Springer Nature ,2005
• Software reliability
  ACM SIGPLAN Notices, 1977
• Process structuring, synchronization, and recovery using atomic actions
  ACM SIGPLAN Notices, 1977
• Operating System Structures to Support Security and Reliable Software
  ACM Computing Surveys, 1976
• The notions of consistency and predicate locks in a database system
  Communications of the ACM, 1976
• Reliable hardware-software architecture
  ACM SIGPLAN Notices, 1975
• Monitors
  Communications of the ACM, 1974
• Dynamic verification of operating system decisions
  Communications of the ACM, 1973
• Process Structuring
  ACM Computing Surveys, 1973
• The structure of the “THE”-multiprogramming system
  Communications of the ACM, 1968