We give a semantics for Brian Randell's recovery blocks, and show how they can be proved correct. The formalisation is expressed wholly in propositional logic. © 2011 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Hoare, T. (2011). Recovery blocks. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6875 LNCS, pp. 261–266). https://doi.org/10.1007/978-3-642-24541-1_19
Mendeley helps you to discover research relevant for your work.