Appendices¶

Appendices A–D develop definitions, assumptions, derivations and counterexamples for deeper reading. E provides language/runtime references; F sources and evidence. All equations use plain text.

Contents¶

• Appendix A — The Service Model and Formal Derivations
• Appendix B — Conditions for Exchange, Reordering and Parallelism
• Appendix C — Performance Models and Experimental Methods
• Appendix D — Quantum Services and Conservation Mechanisms
• Appendix E — Language and Engineering Reference
• Appendix F — Sources and Verification Evidence

Full Book Contents