Manuscript Hawk07-B@1 · Hawk07-B.tex · definition · b9785538

Definition: Complete interface and diagnostics

Complete interfaces and their information tasks · lines 307–335

Hawk07-B@1#def:interface

Back to manuscript

A complete interface is an isometry

Its accessible and complementary channels are

Every unreturned purifier, lost mode, apparatus environment, and record store required by the declared realization belongs to the complete residual. An untouched external reference is not granted to the decoder.

For a state , define

Write and .

Displayed formulas in this passage

  • unlabeled · line 310

  • unlabeled · line 314

  • unlabeled · line 324

  • unlabeled · line 327

Nearby in this section