Operational Semantics of Multi-Level Staged Configuration

{description_courte}