A note on recoverability of modular systems

Philip M. Merlin, David Farber

Research output: Contribution to conferencePaper


We have demonstrated a methodology for designing and checking a system for certain recoverability properties. In order to do this, it was necessary to accept constraints on the execution time of its parts. We believe that the method presented can be used as a practical tool. In order to apply the method efficiently, the designer is urged to refer himself to the references of this paper for a wider mathematical background of the approach used.

Original languageEnglish
Number of pages5
Publication statusPublished - 1975 Jan 1
Externally publishedYes
Event1975 National Computer Conference AFIPS 1975 - Anaheim, United States
Duration: 1975 May 191975 May 22


Conference1975 National Computer Conference AFIPS 1975
CountryUnited States

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Information Systems
  • Software
  • Education

Fingerprint Dive into the research topics of 'A note on recoverability of modular systems'. Together they form a unique fingerprint.

  • Cite this

    Merlin, P. M., & Farber, D. (1975). A note on recoverability of modular systems. 695-699. Paper presented at 1975 National Computer Conference AFIPS 1975, Anaheim, United States. https://doi.org/10.1145/1499949.1500099