STUB: Specifies concurrency inside a running program: the threads in the nexus, the worker pool inside each language process, and how workers are created, scaled, and parked. Defines the locks and their scope, the guarantees about ordering of calls and replies, and how parallel calls from one pool into another are kept from deadlocking.