Manuscript XXII-D@1 · XXII-D.tex · section · 17889d18
The unchanged XXII-C interface
The unchanged XXII-C interface · lines 315–322
Nor does (eq:process-family) authorize unrestricted products or feedback compositions of its members. Such products can fail process normalization under unrestricted joint operations JiaSakharwade. A declared composition must have its own validity proof.