Show simple item record

dc.contributor.authorBoiten, Eerke Alberten
dc.date.accessioned2019-01-02T15:40:25Z
dc.date.available2019-01-02T15:40:25Z
dc.date.issued2015-10-21
dc.identifier.citationBoiten, E.A. (2016) Diversity and Adjudication. Journal of Logical and Algebraic Methods in Programming, 85 (5), Part 2, pp. 860-866en
dc.identifier.issn2352-2208
dc.identifier.urihttp://hdl.handle.net/2086/17381
dc.description.abstractThis paper takes an axiomatic and calculational view of diversity (or "N-version programming"), where multiple implementations of the same specification are executed in parallel to increase dependability. The central notion is "adjudication": once we have multiple, potential different, outcomes, how do we come to a single result? Adjudication operators are explicitly defined and some general properties for these explored.en
dc.language.isoenen
dc.publisherElsevieren
dc.titleDiversity and adjudicationen
dc.typeArticleen
dc.identifier.doihttps://doi.org/10.1016/j.jlamp.2015.10.007
dc.researchgroupCyber Technology Institute (CTI)en
dc.peerreviewedYesen
dc.explorer.multimediaNoen
dc.funderN/Aen
dc.projectidN/Aen
dc.cclicenceCC-BY-NDen
dc.date.acceptance2015-10-17en
dc.researchinstituteCyber Technology Institute (CTI)en


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record