Please use this identifier to cite or link to this item: http://theses.ncl.ac.uk/jspui/handle/10443/2055
Full metadata record
DC FieldValueLanguage
dc.contributor.authorGarnsworthy, Johnathan Randall-
dc.date.accessioned2014-02-19T16:28:22Z-
dc.date.available2014-02-19T16:28:22Z-
dc.date.issued1990-
dc.identifier.urihttp://hdl.handle.net/10443/2055-
dc.descriptionPhD Thesisen_US
dc.description.abstractIn order to be able to think clearly about any subject we need precise definitions of its basic terminology and concepts. If one reads the literature describing fault tolerant computing there is less agreement on fundamental models, concepts and terminology that would perhaps be expected. There are well established usages in particular subcommunities and many other individual workers take care to use terms carefully. Unfortunately there are also many papers in which terms are freely applied to concepts in an arbitrary and inconsistent way. This thesis attempts to bring together some of the concepts of fault tolerant computing and place them in a formal framework. The approach taken is to develop formal models of system structure and behaviour, and to define the basic concepts and terminology in terms of those models. The model of system structure is based on directed graphs and the model of behaviour is based on trace theoryen_US
dc.language.isoenen_US
dc.publisherNewcastle Universityen_US
dc.titleFundamental concepts for fault tolerant systemsen_US
dc.typeThesisen_US
Appears in Collections:School of Computing Science

Files in This Item:
File Description SizeFormat 
Garnsworthy, J. 1990.pdfThesis2.91 MBAdobe PDFView/Open
dspacelicence.pdfLicence43.82 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.