Frozen access and experiment family

This is one concrete class, not a menu of operational languages. The number of parties and their wire dimensions are fixed; the number of separately addressable experiments is countably infinite.

The family notation does not assert that an unrestricted tensor product of its members is a valid process. Process-matrix tensor products can violate normalization when unrestricted joint local operations are permitted JiaSakharwade. Any later composition theorem must specify the admissible interfaces and prove validity.