Show simple item record

Files in this item

Item metadata

dc.contributor.authorKirby, Graham
dc.contributor.authorDearle, Alan
dc.contributor.authorNorcross, Stuart
dc.date.accessioned2011-03-30T15:01:02Z
dc.date.available2011-03-30T15:01:02Z
dc.date.issued2007-06-25
dc.identifier.citationKirby , G , Dearle , A & Norcross , S 2007 , Generating a family of Byzantine tolerant protocol implementations using a meta-model architecture . in 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Workshop on Architecting Dependable Systems : DSN 2007 . University of Edinburgh , pp. 178-183 , 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Workshop on Architecting Dependable Systems , Edinburgh , United Kingdom , 25 June .en
dc.identifier.citationconferenceen
dc.identifier.otherPURE: 5005152
dc.identifier.otherPURE UUID: bf38d07e-e839-4030-9e45-1fafb17a928b
dc.identifier.otherArXiv: http://arxiv.org/abs/1006.3452v1
dc.identifier.urihttp://hdl.handle.net/10023/1725
dc.identifier.urihttp://2007.dsn.org/en
dc.identifier.urihttp://arxiv.org/abs/1006.3452en
dc.description.abstractWe describe an approach to modelling a Byzantine tolerant distributed algorithm as a family of related finite state machines, generated from a single meta-model. Various artefacts are generated from each state machine, including diagrams and source-level protocol implementations. The approach allows a state machine formulation to be applied to problems for which it would not otherwise be suitable, increasing confidence in correctness.en
dc.language.isoeng
dc.publisherUniversity of Edinburgh
dc.relation.ispartof37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Workshop on Architecting Dependable Systemsen
dc.subjectcs.DCen
dc.subjectDistributed, parallel and cluster computingen
dc.subjectQA76 Computer softwareen
dc.subject.lccQA76en
dc.titleGenerating a family of Byzantine tolerant protocol implementations using a meta-model architectureen
dc.typeConference itemen
dc.description.versionPreprinten
dc.contributor.institutionUniversity of St Andrews. School of Computer Scienceen


The following license files are associated with this item:

This item appears in the following Collection(s)

Show simple item record