| dc.contributor.author | HENNESSY, MATTHEW | |
| dc.date.accessioned | 2011-06-07T15:01:28Z | |
| dc.date.available | 2011-06-07T15:01:28Z | |
| dc.date.issued | 2007 | |
| dc.date.submitted | 2007 | en |
| dc.identifier.citation | Francalanza, A, Hennessy, M., A theory for observational fault tolerance, Journal of Logic and Algebraic Programming, 73, 1-2, 2007, 22-50 | en |
| dc.identifier.other | Y | |
| dc.description | PUBLISHED | en |
| dc.description.abstract | One reason for the study of programs in the presence of faults, i.e. defects at the
lowest level of abstractions [2], is to be able to construct more dependable systems,
meaning systems exhibiting a high probability of behaving according to their
specification [18]. System dependability is often expressed through attributes like
maintainability, availability, safety and reliability, the latter of which is defined as a
measure of the continuous delivery of correct behaviour, [18]. There are a number
of approaches for achieving system dependability in the presence of faults, ranging
from fault removal, fault prevention and fault tolerance. | en |
| dc.format.extent | 22-50 | en |
| dc.language.iso | en | en |
| dc.publisher | Elsevier | en |
| dc.relation.ispartofseries | Journal of Logic and Algebraic Programming; | |
| dc.relation.ispartofseries | 73; | |
| dc.relation.ispartofseries | 1-2; | |
| dc.rights | Y | en |
| dc.subject | Computer Science | en |
| dc.subject | fault tolerence | en |
| dc.title | A theory for observational fault tolerance | en |
| dc.type | Journal Article | en |
| dc.type.supercollection | scholarly_publications | en |
| dc.type.supercollection | refereed_publications | en |
| dc.identifier.peoplefinderurl | http://people.tcd.ie/mcbhenne | |
| dc.identifier.rssinternalid | 50338 | |
| dc.identifier.rssuri | http://dx.doi.org/10.1016/j.jlap.2007.03.003 | en |
| dc.identifier.uri | http://hdl.handle.net/2262/56466 | |
