External Links

    Journal: Electronic Notes in Theoretical Computer Science

    Volume 258, Issue 2

    1 -- 2Leo Marcus. Preface
    3 -- 15Fuad Abujarad, Sandeep S. Kulkarni. Weakest Invariant Generation for Automated Addition of Fault-Tolerance
    17 -- 34Pablo F. Castro, T. S. E. Maibaum. Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance
    35 -- 49Joseph Fitzsimons, Jason Twamley. Quantum Fault Tolerance in Systems with Restricted Control
    runs on