MAX's control is highly distributed. Its modules are behaviors, which are explicitly invoked, and monitors, which are invoked when certain environmental criteria are met. Each of these modules implements a certain behavior. Each has complete control of MAX while it operates. A stack of such modules is kept so that they may invoke each other and safely return.
Go to a discussion of this property for multiple architectures.