Publication | Closed Access

Viewing control structures as patterns of passing messages

Passing MessagesCognitive ScienceEngineeringAutomated ReasoningCommand And ControlControl StructureMessage PassingFormal MethodsComputer ScienceIntelligent SystemsFormal Verification